Solution of Church's problem: a tutorial

MaRDI QIDQ4599512zbMATH OpenFDO

Authors Wolfgang Thomas

Publication date 3 January 2018

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving topology, set theory, or logic (91A44)

Recommendations

• Church’s Problem and a Tour through Automata Theory
• Logical Refinements of Church’s Problem
• The Church synthesis problem with metric
• Synthesis of finite-state and definable winning strategies
• scientific article; zbMATH DE number 7147442

Cited in

(11)

• Finite transducers and rational transductions
• Synthesis for continuous time
• The Church synthesis problem with metric
• Logical Refinements of Church’s Problem
• Facets of Synthesis: Revisiting Church’s Problem
• Connectivity games over dynamic networks
• scientific article; zbMATH DE number 7204449 (Why is no real title available?)
• scientific article; zbMATH DE number 7147442 (Why is no real title available?)
• Church’s Problem and a Tour through Automata Theory
• Controller synthesis for timeline-based games
• Asynchronous transition system games for two processes and their analysis

This page was built for publication: Solution of Church's problem: a tutorial

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