Optimal Strategies in Priced Timed Game Automata
Authors:
- 1 January 2004
- book chapter
- Published by Springer Nature
- p. 148-160
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Optimal Reachability for Weighted Timed GamesLecture Notes in Computer Science, 2004
- Staying Alive as Cheaply as PossibleLecture Notes in Computer Science, 2004
- Resource-Efficient Scheduling for Real Time SystemsLecture Notes in Computer Science, 2003
- The theory of hybrid automata2002
- Symbolic Algorithms for Infinite-State Games2001
- Optimal Paths in Weighted Timed Automata2001
- Minimum-Cost Reachability for Priced Time Automata2001
- As Soon as Possible: Time Optimal Control for Timed Automata1999
- Computing accumulated delays in real-time systemsLecture Notes in Computer Science, 1993
- Minimum and maximum delay problems in real-time systemsFormal Methods in System Design, 1992