ICALP 2020

A4.D — On Decidability of Time-bounded Reachability in CTMDPs

Sep 23, 2020

|

20 views

Saarland Informatics Campus

Details

ICALP-B 2020 On Decidability of Time-bounded Reachability in CTMDPs Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani

Category: ICALP 2020

Comments

loading...

Reactions (0) | Note

📝 No reactions yet

Be the first one to share your thoughts!

Reactions(0)

Note

loading...

Recommended

ICAPS 2014: Nir Lipovetzky and Christina Burt on "Planning for Mining Operations with Time and ..."

ICAPS | Apr 16, 2015

ICAPS 2014: Christopher Expósito-Izquierdo on "Optimization Model and Heuristic Approach for ..."

ICAPS | Apr 16, 2015

ICAPS 2014: Iman Awaad on "Finding Ways to Get the Job Done: An Affordance-Based Approach"

ICAPS | Apr 20, 2015

ICAPS 2014 Invited Talk by Malik Ghallab

ICAPS | May 4, 2015

ICAPS 2014: Steven Levine on "Concurrent Plan Recognition and Execution for Human-Robot Teams"

ICAPS | May 4, 2015