Practical applications of the alternating cycle decomposition

DOI10.1007/978-3-030-99527-0_6zbMATH Open1547.68312MaRDI QIDQ6535610FDOQ6535610

Salomon Sickert, Florian Renkin, Klara J. Meyer, Alexandre Duret-Lutz, Author name not available (Why is that?)

Publication date: 1 February 2024

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Practical synthesis of reactive systems from LTL specifications via parity games
• Automata, logics, and infinite games. A guide to current research
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Owl: a library for \(\omega \)-words, automata, and LTL
• Computing the Rabin Index of a Parity Automaton
• One Theorem to Rule Them All
• From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
• Index Appearance Record for Transforming Rabin Automata into Parity Automata
• Practical “Paritizing” of Emerson-Lei Automata
• An automata-theoretic approach to linear temporal logic

Cited In (3)

• From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism
• Symbolic solution of Emerson-Lei games for reactive synthesis
• Tighter construction of tight Büchi automata

This page was built for publication: Practical applications of the alternating cycle decomposition

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