As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed Automata
Authors:
- 4 July 2001
- book chapter
- Published by Springer Nature
- p. 493-505
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Well-structured transition systems everywhere!Theoretical Computer Science, 2001
- Optimal Paths in Weighted Timed Automata2001
- Efficient Guiding Towards Cost-Optimality in UPPAALBRICS Report Series, 2001
- Guided Synthesis of Control Programs for a Batch Plant using UPPAALBRICS Report Series, 2000
- Scheduling Aircraft Landings—The Static CaseTransportation Science, 2000
- Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode2000
- Kronos: A model-checking tool for real-time systems1998
- Experience with literate programming in the modelling and validation of systems1998
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997
- HyTech: A model checker for hybrid systems1997