Qualitative Multi-objective Reachability for Ordered Branching MDPs (2020)
Attributed to:
Quantitative Termination Approximation Analysis of One-Counter Markov Decision Processes
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://doi.org/10.1007/978-3-030-61739-4_5
Type: Conference/Paper/Proceeding/Abstract