Monitor Logics for Quantitative Monitor Automata
From MaRDI portal
Publication:5111228
DOI10.4230/LIPICS.MFCS.2017.14zbMATH Open1441.68127OpenAlexW2774049247MaRDI QIDQ5111228FDOQ5111228
Publication date: 26 May 2020
Full work available at URL: https://doi.org/10.4230/LIPIcs.MFCS.2017.14
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Logic in computer science (03B70)
Cites Work
- Handbook of weighted automata
- Weak SecondβOrder Arithmetic and Finite Automata
- Decision Problems of Finite Automata Design and Related Arithmetics
- Title not available (Why is that?)
- Quantitative Languages
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Weighted automata and weighted logics
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- Weighted Automata and Weighted Logics on Infinite Words
- Nested Weighted Automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Weighted picture automata and weighted logics
- Weighted Automata and Logics on Graphs
- Quantitative Automata under Probabilistic Semantics
Cited In (1)
Recommendations
- Quantitative monitor automata π π
- Monotonic qualitative logic programs: computation and applications π π
- A formally verified, optimized monitor for metric first-order dynamic logic π π
- Quantitative Monadic Second-Order Logic π π
- Proof theory for quantified monotone modal logics π π
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors π π
- Monitorability for the Hennessy-Milner logic with recursion π π
- Monitoring first-order interval logic π π
- Monodic temporal logic with quantified propositional variables π π
- Computational Semantics for Monadic Quantifiers π π
This page was built for publication: Monitor Logics for Quantitative Monitor Automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111228)