Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata
No abstract available.
Related papers
- Efficient Guiding Towards Cost-Optimality in UPPAAL TACAS 2001
- Symbolic Optimal Reachability in Weighted Timed Automata CAV 2016
- Resource-Optimal Scheduling Using Priced Timed Automata TACAS 2004
- As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata CAV 2001
- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets VMCAI 2009
- Fast American Option Pricing using Nonlinear Stencils PPoPP 2024
- On Learning Polynomial Recursive Programs POPL 2024
- Two for the price of one: a model for parallel and incremental computation OOPSLA 2011