The Church Synthesis Problem with Parameters

DOI10.2168/LMCS-3(4:9)2007MaRDI QIDQ5453502zbMATH OpenFDO

Authors Alexander Rabinovich

Publication date 1 April 2008

Published in Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

decidabilitymonadic theoryfinite state automatonmonadic logic of orderBüchi-Landweber theoremultimately periodic parameters

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Recommendations

• Church Synthesis Problem with Parameters
• Decidable Extensions of Church’s Problem
• The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates
• scientific article; zbMATH DE number 7147442
• The Church synthesis problem with metric

Cited in

(5)

• The Church synthesis problem with metric
• Church Synthesis Problem with Parameters
• Reactive synthesis from interval temporal logic specifications
• The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates
• Decidable Extensions of Church’s Problem

This page was built for publication: The Church Synthesis Problem with Parameters

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