Priced Timed Automata: Theory and Tools

Kim G. Larsen
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.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.