Constructing Büchi automata from linear temporal logic using simulation relations for alternating Büchi automata
From MaRDI portal
Publication:3559779
Recommendations
Cited in
(24)- Applicability of fair simulation
- Automata theory and model checking
- Linear temporal logic with until and next, logical consecutions
- Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
- Experiments with deterministic -automata for formulas of linear temporal logic
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata
- scientific article; zbMATH DE number 6401143 (Why is no real title available?)
- Transformation from PLTL to automata via NFGs
- Simulation relations for alternating Büchi automata
- From linear temporal logics to Büchi automata: the early and simple principle
- scientific article; zbMATH DE number 1796123 (Why is no real title available?)
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
- Automata-Theoretic Model Checking Revisited
- Tool support for learning Büchi automata and linear temporal logic
- Temporal logic motion planning for dynamic robots
- GSTE is partitioned model checking
- scientific article; zbMATH DE number 1670781 (Why is no real title available?)
- Almost linear Büchi automata
- Converting a Büchi alternating automaton to a usual nondeterministic one
- From LTL to deterministic automata. A safraless compositional approach
- Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
- scientific article; zbMATH DE number 1759609 (Why is no real title available?)
- Multi-Valued Reasoning about Reactive Systems
This page was built for publication: Constructing Büchi automata from linear temporal logic using simulation relations for alternating Büchi automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3559779)
