Pages that link to "Item:Q5758106"
From MaRDI portal
The following pages link to Model Checking Probabilistic Timed Automata with One or Two Clocks (Q5758106):
Displaying 9 items.
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← links)
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- (Q5020520) (← links)
- Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)
- (Q5111633) (← links)
