Undecidability of cost-bounded reachability in priced probabilistic timed automata

Thumbnail Image

Files

Access status: Embargo until 2233-03-22 , Primary 75615.pdf (222.75 KB)

Date

2009

Authors

Berendsen, J.K. Jasper
Chen, Taolue
Jansen, D.N. David

Journal Title

Journal ISSN

Volume Title

Publisher

Berlin : Springer

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/75615

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By