The Library
Reachability-time games on timed automata
Tools
Jurdzinski, Marcin and Trivedi, Ashutosh (2007) Reachability-time games on timed automata. In: 34th International Colloquium on Automata, Languages and Programming, Wroclaw, Poland, 9-13 Jul 2007. Published in: Automata, Languages and Programming, Proceedings, Volume 4596 pp. 838-849. ISBN 9783540734192. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
In a reachability-time game, players Min and Max choose moves so that the time to reach a final state in a timed automaton is minimised or maximised, respectively. Asarin and Maler showed decidability of reachability-time games on strongly non-Zeno timed automata using a value iteration algorithm. This paper complements their work by providing a strategy improvement algorithm for the problem. It also generalizes their decidability result because the proposed strategy improvement algorithm solves reachability-time games on all timed automata. The exact computational complexity of solving reachability-time games is also established: the problem is EXPTIME-complete for timed automata with at least two clocks.
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Series Name: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Journal or Publication Title: | Automata, Languages and Programming, Proceedings | ||||
Publisher: | Springer-Verlag | ||||
ISBN: | 9783540734192 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Arge, L and Cachin, C and Jurdzinski, T and Tarlecki, A | ||||
Official Date: | 2007 | ||||
Dates: |
|
||||
Volume: | Volume 4596 | ||||
Number of Pages: | 12 | ||||
Page Range: | pp. 838-849 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Description: | Extended abstract |
||||
Conference Paper Type: | Paper | ||||
Title of Event: | 34th International Colloquium on Automata, Languages and Programming | ||||
Type of Event: | Other | ||||
Location of Event: | Wroclaw, Poland | ||||
Date(s) of Event: | 9-13 Jul 2007 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |