文章基本信息
- 标题：Monitor Logics for Quantitative Monitor Automata
- 本地全文：下载
- 作者：Erik Paul
- 期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
- 电子版ISSN：1868-8969
- 出版年度：2017
- 卷号：83
- 页码：14:1-14:13
- DOI：10.4230/LIPIcs.MFCS.2017.14
- 出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
- 摘要：We introduce a new logic called Monitor Logic and show that it is expressively equivalent to Quantitative Monitor Automata.
- 关键词：Quantitative Monitor Automata; Nested Weighted Automata; Monitor Logics; Weighted Logics
