The Church Synthesis Problem with Parameters

DOI10.2168/LMCS-3(4:9)2007zbMATH Open1131.03016MaRDI QIDQ5453502FDOQ5453502

Authors: Alexander Rabinovich 

Publication date: 1 April 2008

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

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

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)

Cited In (5)

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

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)