Pages that link to "Item:Q2474054"
From MaRDI portal
The following pages link to Optimal reachability for multi-priced timed automata (Q2474054):
Displaying 11 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines (Q1785845) (← links)
- Costs and rewards in priced timed automata (Q2064528) (← links)
- Model checking for performability (Q2843861) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- How to Tackle Integer Weighted Automata Positivity (Q3646253) (← links)
- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata (Q3648829) (← links)
- On the Supports of Recognizable Timed Series (Q3648835) (← links)
- (Q5002811) (← links)
