Optimal Reachability for Weighted Timed Games

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Real-Time
CPS Formal Methods
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Bernadsky, Mikhail
Madhusudan, P.
Contributor
Abstract

Weighted timed automata are timed automata annotated with costs on locations and transitions. The optimal game-reachability problem for these automata is to find the best-cost strategy of supplying the inputs so as to ensure reachability of a target set within a specified number of iterations. The only known complexity bound for this problem is a doubly-exponential upper bound. We establish a singly-exponential upper bound and show that there exist automata with exponentially many states in a single region with pair-wise distinct optimal strategies.

Advisor
Date of presentation
2004-07-12
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:31:47.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
From the 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004.
Postprint version. Published in Lecture Notes in Computer Science, Volume 3142, Automata, Languages and Programming, 2004, pages 122-133. Publisher URL: http://dx.doi.org/10.1007/b99859
Recommended citation
Collection