Monitor Logics for Quantitative Monitor Automata

DOI10.4230/LIPIcs.MFCS.2017.14zbMath1441.68127OpenAlexW2774049247MaRDI QIDQ5111228

Erik Paul

Publication date: 26 May 2020

Full work available at URL: https://doi.org/10.4230/LIPIcs.MFCS.2017.14

zbMATH Keywords

weighted logicsnested weighted automatamonitor logicsquantitative monitor automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Handbook of weighted automata
• Weighted automata and weighted MSO logics for average and long-time behaviors
• Weighted automata and weighted logics
• Weighted picture automata and weighted logics
• Weighted Automata and Logics on Graphs
• Weak Second‐Order Arithmetic and Finite Automata
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Quantitative Languages
• Weighted Automata and Weighted Logics on Infinite Words
• Decision Problems of Finite Automata Design and Related Arithmetics
• Nested Weighted Automata
• Quantitative Automata under Probabilistic Semantics

This page was built for publication: Monitor Logics for Quantitative Monitor Automata