Percentile queries in multi-dimensional Markov decision processes
Markov decision processes (MDPs) with multi-dimensional weights are useful to analyze
systems with multiple objectives that may be conflicting and require the analysis of trade …
systems with multiple objectives that may be conflicting and require the analysis of trade …
Percentile queries in multi-dimensional Markov decision processes
Markov decision processes (MDPs) with multi-dimensional weights are useful to analyze
systems with multiple objectives that may be conflicting and require the analysis of trade …
systems with multiple objectives that may be conflicting and require the analysis of trade …
Contributions on Formal Methods for Timed and Probabilistic Systems
O Sankur - 2023 - hal.science
Formal methods is an umbrella term for rigorous techniques for specifying and verifying
computer systems, or building such systems with mathematical guarantees on their …
computer systems, or building such systems with mathematical guarantees on their …
Expectations or guarantees? I want it all! A crossroad between games and MDPs
When reasoning about the strategic capabilities of an agent, it is important to consider the
nature of its adversaries. In the particular context of controller synthesis for quantitative …
nature of its adversaries. In the particular context of controller synthesis for quantitative …
[PDF][PDF] Implementation and Analysis of Approximation Algorithms For One-Counter Markov Decision Processes
S Saxena - project-archive.inf.ed.ac.uk
We implement and analyze several algorithms of some key analysis problems for One-
Counter Markov Decision Processes (OC-MDPs), a type of finitely-presented infinite state …
Counter Markov Decision Processes (OC-MDPs), a type of finitely-presented infinite state …