Monitor Logics for Quantitative Monitor Automata
From MaRDI portal
Publication:5111228
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
Cites work
- scientific article; zbMATH DE number 5141497 (Why is no real title available?)
- scientific article; zbMATH DE number 5141498 (Why is no real title available?)
- scientific article; zbMATH DE number 1142314 (Why is no real title available?)
- Decision Problems of Finite Automata Design and Related Arithmetics
- Handbook of weighted automata
- Nested weighted automata
- Quantitative Languages
- Weak Second‐Order Arithmetic and Finite Automata
- Weighted Automata and Weighted Logics on Infinite Words
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- Weighted automata and logics on graphs
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Weighted automata and weighted logics
- Weighted picture automata and weighted logics
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)
