The Library
Concavely-priced probabilistic timed automata
Tools
Jurdzinski, Marcin, Kwiatkowska, Marta, Norman, Gethin and Trivedi, Ashutosh (2009) Concavely-priced probabilistic timed automata. In: 30th International Conference on Concurrency Theory, Bologna, Italy, September 01-04, 2009. Published in: Lecture Notes in Computer Science, Vol.5710 pp. 415-430. ISBN 978-3-642-04080-1. doi:10.1007/978-3-642-04081-8_28 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.
Official URL: http://dx.doi.org/10.1007/978-3-642-04081-8_28
Abstract
Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are introduced. In this paper we consider expected reachability, discounted, and average price problems for concavely-priced probabilistic timed automata for arbitrary initial states. We prove that these problems are EXPTIME-complete for probabilistic timed automata with two or more clocks and PTIME-complete for automata with one clock. Previous work oil expected price problems for probabilistic timed automata was restricted to expected reachability for linearly-priced automata and integer valued initial states. This work uses the boundary region graph introduced by Jurdzinski and Trivedi to analyse properties of concavely-priced (non-probabilistic) timed automata.
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: | Lecture Notes in Computer Science | ||||
Publisher: | Springer | ||||
ISBN: | 978-3-642-04080-1 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Bravetti, M and Zavattaro, G | ||||
Official Date: | 2009 | ||||
Dates: |
|
||||
Volume: | Vol.5710 | ||||
Number of Pages: | 16 | ||||
Page Range: | pp. 415-430 | ||||
DOI: | 10.1007/978-3-642-04081-8_28 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Funder: | Engineering and Physical Sciences Research Council (EPSRC) | ||||
Grant number: | EP/D076625, EP/F001096 | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | 30th International Conference on Concurrency Theory | ||||
Type of Event: | Conference | ||||
Location of Event: | Bologna, Italy | ||||
Date(s) of Event: | September 01-04, 2009 |
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 |