The following pages link to Michel Sintzoff (Q1028978):
Displaying 16 items.
- On the design of correct and optimal dynamical systems and games (Q1028979) (← links)
- Formal derivation of strongly correct concurrent programs (Q1251066) (← links)
- Model Refinement Using Bisimulation Quotients (Q3067468) (← links)
- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems (Q3521995) (← links)
- A Semiring Approach to Equivalences, Bisimulations and Control (Q3651513) (← links)
- (Q3667931) (← links)
- (Q3773318) (← links)
- (Q3875324) (← links)
- (Q3907055) (← links)
- (Q3929024) (← links)
- (Q4136537) (← links)
- (Q4151700) (← links)
- (Q4199501) (← links)
- (Q4373558) (← links)
- Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games (Q5390278) (← links)
- (Q5632150) (← links)
