Priced Timed Automata:  Theory and Tools

Research output: Contribution to journalConference article in JournalResearchpeer-review

Abstract

Priced timed automata are emerging as useful formalisms for modeling and analysing a broad range of resource allocation problems. In this extended abstract, we highlight recent (un)deci\-dability results related to priced timed automata as well as point to a number of open problems.
Original languageEnglish
JournalDagstuhl Seminar Proceedings
Pages (from-to)417-425
Number of pages9
ISSN1862-4405
Publication statusPublished - 2009
EventIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009) - Kanpur, India
Duration: 15 Dec 200917 Dec 2009

Conference

ConferenceIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009)
CountryIndia
CityKanpur
Period15/12/200917/12/2009

    Fingerprint

Keywords

  • Priced Timed Automata

Cite this