scientific article; zbMATH DE number 1759609
From MaRDI portal
Publication:4536600
Recommendations
Cited in
(39)- Tool support for learning Büchi automata and linear temporal logic
- Effective reductions of Mealy machines
- Dissecting \texttt{ltlsynt}
- scientific article; zbMATH DE number 1796122 (Why is no real title available?)
- New optimizations and heuristics for determinization of Büchi automata
- On-the-Fly Stuttering in the Construction of Deterministic ω-Automata
- More efficient on-the-fly LTL verification with Tarjan's algorithm
- scientific article; zbMATH DE number 1670781 (Why is no real title available?)
- Büchi Store: an open repository of Büchi automata
- Applicability of fair simulation
- LTL to deterministic Emerson-Lei automata
- Büchi automata optimisations formalised in Isabelle/HOL
- From LTL to deterministic automata. A safraless compositional approach
- Mechanizing the Powerset Construction for Restricted Classes of ω-Automata
- Approximate automata for omega-regular languages
- scientific article; zbMATH DE number 1670552 (Why is no real title available?)
- scientific article; zbMATH DE number 1670559 (Why is no real title available?)
- Organising LTL monitors over distributed systems with a global clock
- Transformation from PLTL to automata via NFGs
- On the relationship between LTL normal forms and Büchi automata
- From Spot 2.0 to Spot 2.10: What’s New?
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata
- scientific article; zbMATH DE number 1982194 (Why is no real title available?)
- Bridging the gap between single- and multi-model predictive runtime verification
- LTL to self-loop alternating automata with generic acceptance and back
- Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic
- Explicit-state model checking
- Constructing Büchi automata from linear temporal logic using simulation relations for alternating Büchi automata
- Markov chains and unambiguous automata
- Simulation relations and applications in formal methods
- Index appearance record with preorders
- scientific article; zbMATH DE number 1973991 (Why is no real title available?)
- Tighter construction of tight Büchi automata
- scientific article; zbMATH DE number 1903381 (Why is no real title available?)
- Efficient State Space Reduction for Automata by Fair Simulation
- scientific article; zbMATH DE number 1418459 (Why is no real title available?)
- The Maude LTL model checker
- LTL under reductions with weaker conditions than stutter invariance
- Automata-Theoretic Model Checking Revisited
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536600)
