Monitor Logics for Quantitative Monitor Automata
From MaRDI portal
Publication:5111228
DOI10.4230/LIPICS.MFCS.2017.14zbMATH Open1441.68127OpenAlexW2774049247MaRDI QIDQ5111228FDOQ5111228
Authors: Erik Paul
Publication date: 26 May 2020
Full work available at URL: https://doi.org/10.4230/LIPIcs.MFCS.2017.14
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
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)
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)