Back to the future: a fresh look at linear temporal logic
From MaRDI portal
Publication:2117656
DOI10.1007/978-3-030-79121-6_1OpenAlexW3173305027MaRDI QIDQ2117656FDOQ2117656
Authors: Javier Esparza 
Publication date: 22 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-79121-6_1
Cites Work
- Practical synthesis of reactive systems from LTL specifications via parity games
- Strix
- Rabinizer: small deterministic automata for \({\mathrm{LTL}(\mathrm{F},\mathrm{G})}\)
- Rabinizer 2: small deterministic automata for \(\mathrm{LTL}_{ \setminus\mathbf{GU}}\)
- The complexity of probabilistic verification
- The temporal semantics of concurrent programs
- Temporal verification of reactive systems: response
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automata-theoretic techniques for modal logics of programs
- Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic
- Completing the temporal picture
- Characterization of temporal property classes
- Handbook of model checking
- Owl: a library for \(\omega \)-words, automata, and LTL
- On the Krohn-Rhodes cascaded decomposition theorem
- From LTL to deterministic automata. A safraless compositional approach
- On-the-Fly Stuttering in the Construction of Deterministic ω-Automata
- One theorem to rule them all: a unified translation of LTL into \(\omega \)-automata
- An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata
- Implementation and Application of Automata
Cited In (2)
Uses Software
This page was built for publication: Back to the future: a fresh look at linear temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117656)
