Dissecting \texttt{ltlsynt}

DOI10.1007/S10703-022-00407-6MaRDI QIDQ6151759zbMATH OpenOpenAlexFDO

Authors Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Publication date 11 March 2024

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-022-00407-6

zbMATH Keywords

parity gamesreactive synthesisMealy machinesparity automataLTL formulas

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Practical synthesis of reactive systems from LTL specifications via parity games
• Verification, Model Checking, and Abstract Interpretation
• Synthesis of Reactive(1) designs
• LTL reactive synthesis with a few hints
• Lazy synthesis

Cites work

• scientific article; zbMATH DE number 6527944 (Why is no real title available?)
• scientific article; zbMATH DE number 1500523 (Why is no real title available?)
• scientific article; zbMATH DE number 1759609 (Why is no real title available?)
• An improved construction of deterministic omega-automaton using derivatives
• Effective reductions of Mealy machines
• Efficient minimization of deterministic weak -automata
• From Spot 2.0 to Spot 2.10: What’s New?
• Graph-Based Algorithms for Boolean Function Manipulation
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• LTL to deterministic Emerson-Lei automata
• Mathematical Foundations of Computer Science 2003
• Mechanizing the Powerset Construction for Restricted Classes of ω-Automata
• Modalities for model checking: Branching time logic strikes back
• One theorem to rule them all: a unified translation of LTL into \(\omega \)-automata
• Practical “Paritizing” of Emerson-Lei Automata
• State Reduction in Incompletely Specified Finite-State Machines

Cited in

(1)

• LTL reactive synthesis with a few hints

This page was built for publication: Dissecting \texttt{ltlsynt}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151759)