Pages that link to "Item:Q3617741"
From MaRDI portal
The following pages link to Delayed Nondeterminism in Continuous-Time Markov Decision Processes (Q3617741):
Displaying 10 items.
- Efficient approximation of optimal control for continuous-time Markov games (Q259052) (← links)
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Confluence reduction for Markov automata (Q507382) (← links)
- Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games (Q766176) (← links)
- A uniformization-based algorithm for continuous-time stochastic games model checking (Q1757155) (← links)
- Markov automata with multiple objectives (Q2151241) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- Markov decision processes with delays and asynchronous cost collection (Q5266877) (← links)
- On Lexicographic Proof Rules for Probabilistic Termination (Q6488476) (← links)
- On lexicographic proof rules for probabilistic termination (Q6610383) (← links)