English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
  Local TagsRelease HistoryDetailsSummary

Released
Conference Paper

On Decidability of Time-Bounded Reachability in CTMDPs

MPS-Authors
/persons/resource/persons144534

Majumdar,  Rupak
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons245849

Salamati,  Mahmoud
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144805

Soudjani,  Sadegh
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

https://drops.dagstuhl.de/opus/volltexte/2020/12540/
(Publisher version)

Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)

LIPIcs-ICALP-2020-133.pdf
(Publisher version), 637KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Majumdar, R., Salamati, M., & Soudjani, S. (2020). On Decidability of Time-Bounded Reachability in CTMDPs. In A. Czumaj, A. Dawar, & E. Merelli (Eds.), 47th International Colloquium on Automata, Languages, and Programming (pp. 1-19). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.ICALP.2020.133.


Cite as: https://hdl.handle.net/21.11116/0000-0008-6A97-7
Abstract
There is no abstract available