2026-07-20T11:15:08Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2337 2024-03-06T10:33:19Z ddc:004 open_access

Priced Timed Automata: Theory and Tools Larsen, Kim G. Timed systems optimal scheduling priced timed automata games model-checking 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Kim G. Larsen 2009 Is Part Of LIPIcs, Volume 4, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSTTCS.2009.2337 urn:nbn:de:0030-drops-23374 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2009.2337 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode