Resource-Optimal Scheduling Using Priced Timed Automata
No abstract available.
Related papers
- As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata CAV 2001
- Symbolic Optimal Reachability in Weighted Timed Automata CAV 2016
- Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata APLAS 2001
- Efficient Guiding Towards Cost-Optimality in UPPAAL TACAS 2001
- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets VMCAI 2009
- Optimal Schedules for Parallel Prefix Computation with Bounded Resources PPoPP 1991
- Job-Shop Scheduling Using Timed Automata CAV 2001
- Timed Automata with Asynchronous Processes: Schedulability and Decidability TACAS 2002