The following pages link to (Q4270052):
Displaying 26 items.
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191) (← links)
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- State explosion in almost-sure probabilistic reachability (Q846015) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- Automatic verification of real-time systems with discrete probability distributions. (Q1603709) (← links)
- Computation tree measurement language (CTML) (Q1798671) (← links)
- Categorical foundations for randomly timed automata (Q1884891) (← links)
- Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles (Q2139771) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Automatic verification of competitive stochastic systems (Q2248068) (← links)
- Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes (Q2407982) (← links)
- Nearly Optimal Verifiable Data Streaming (Q2798786) (← links)
- A Tutorial on Interactive Markov Chains (Q2937729) (← links)
- Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (Q2945592) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- Maximizing the Conditional Expected Reward for Reaching the Goal (Q3303934) (← links)
- Play to Test (Q3434603) (← links)
- Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes (Q3619461) (← links)
- (Q4798031) (← links)
- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking (Q5166754) (← links)
- Percentile queries in multi-dimensional Markov decision processes (Q5892424) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897962) (← links)
- Foundations of probability-raising causality in Markov decision processes (Q6151547) (← links)
- Equilibria-based probabilistic model checking for concurrent stochastic games (Q6535956) (← links)
