文章基本信息
- 标题：Optimal Reachability in Weighted Timed Automata and Games (Invited Talk)
- 本地全文：下载
- 作者：Patricia Bouyer-Decitre
- 期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
- 电子版ISSN：1868-8969
- 出版年度：2016
- 卷号：58
- 页码：3:1-3:3
- DOI：10.4230/LIPIcs.MFCS.2016.3
- 出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
- 摘要：This is an overview of the invited talk delivered at the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016).
- 关键词：timed automata; model-checking; optimization
