Pages that link to "Item:Q2985866"
From MaRDI portal
The following pages link to Timed automata with observers under energy constraints (Q2985866):
Displaying 12 items.
- Optimal and robust controller synthesis using energy timed automata with uncertainty (Q1996422) (← links)
- Optimal and robust controller synthesis. Using energy timed automata with uncertainty (Q2024347) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- Optimal Bounds for Multiweighted and Parametrised Energy Games (Q2842640) (← links)
- Logics for Weighted Timed Pushdown Automata (Q2947171) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Energy Games in Multiweighted Automata (Q3105747) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- (Q5014442) (← links)
- (Q5020520) (← links)
- (Q5377470) (← links)
