Report icon

Report

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA

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 on expected price problems for probabilistic timed ...

Expand abstract

Actions


Access Document


Files:

Authors


Publisher:
OUCL
Publication date:
2009-01-01
URN:
uuid:f5d79298-a1a4-4203-a3ef-47fb23242522
Local pid:
cs:3227

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP