Church Synthesis Problem with Parameters

15 years 6 months ago

Download www.cs.tau.ac.il

For a two-variable formula (X, Y ) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of an operator Y = F(X) such that (X, F(X)) is universally valid over Nat. B

Alexander Moshe Rabinovich

Real-time Traffic

Automated Reasoning | Church Synthesis Problem | CSL 2006 | Monadic Logic | Parameterized Version |

claim paper

» The Church Problem for Countable Ordinals

» Synthesis of Finitestate and Definable Winning Strategies

» Facets of Synthesis Revisiting Churchs Problem

» Graph Games on Ordinals

» An iterative linearised solution to the sinusoidal parameter estimation problem

» Parameter Synthesis in Nonlinear Dynamical Systems Application to Systems Biology

» Parameter Synthesis for Hybrid Systems with an Application to Simulink Models

» Trajectory training considering global variance for HMMbased speech synthesis

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	CSL
Authors	Alexander Moshe Rabinovich

Comments (0)

Sciweavers

Church Synthesis Problem with Parameters

Automated Reasoning | Church Synthesis Problem | CSL 2006 | Monadic Logic | Parameterized Version |

Explore & Download

Productivity Tools

Sciweavers