Pages that link to "Item:Q3535619"
From MaRDI portal
The following pages link to Model Checking Probabilistic Timed Automata with One or Two Clocks (Q3535619):
Displayed 18 items.
- Expected reachability-time games (Q278757) (← links)
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- Reactive synthesis without regret (Q520338) (← links)
- Probabilistic timed automata with clock-dependent probabilities (Q1685793) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Looking at mean-payoff and total-payoff through windows (Q2346404) (← links)
- Average-energy games (Q2413482) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
- The Odds of Staying on Budget (Q3449479) (← links)
- (Q5013874) (← links)
- (Q5028426) (← links)
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities (Q5041280) (← links)
- Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
- (Q5232902) (← links)
- (Q5875390) (← links)
- Countdown games, and simulation on (succinct) one-counter nets (Q5883735) (← links)
- Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties (Q6104804) (← links)