scientific article; zbMATH DE number 7378363

DOI10.4230/LIPIcs.MFCS.2018.46MaRDI QIDQ5005148

Emmanuel Filiot, Ismaël Jecker, Léo Exibard

Publication date: 4 August 2021

Full work available at URL: https://arxiv.org/abs/1905.03560

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

synthesistransducersmulti-sequentiality

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Antichains and compositional algorithms for LTL synthesis
• Strategy logic
• The complexity of decision problems for finite-turn multicounter machines
• Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
• Degrees of Lookahead in Context-free Infinite Games
• Delay Games with WMSO+U Winning Conditions
• Degree of Sequentiality of Weighted Automata
• Multi-sequential Word Relations
• Alternating-time temporal logic
• Bounded Synthesis
• Degrees of Lookahead in Regular Infinite Games
• On equivalence and uniformisation problems for finite transducers
• Church’s Problem and a Tour through Automata Theory
• Solving Sequential Conditions by Finite-State Strategies
• Classification of formal languages by functional binary transductions
• How Much Lookahead is Needed to Win Infinite Games?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item