Michel Sintzoff

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Iterative synthesis of control guards ensuring invariance and inevitability in discrete-decision games From Object-Orientation to Formal Methods	2011-04-01	Paper
Model refinement using bisimulation quotients Algebraic Methodology and Software Technology	2011-01-21	Paper
A semiring approach to equivalences, bisimulations and control Relations and Kleene Algebra in Computer Science	2009-12-11	Paper
On the design of correct and optimal dynamical systems and games Information Processing Letters	2009-07-09	Paper
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems Lecture Notes in Computer Science	2008-08-28	Paper
scientific article; zbMATH DE number 1107623 (Why is no real title available?)	1998-02-16	Paper
scientific article; zbMATH DE number 4033055 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3821092 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3744520 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3679163 (Why is no real title available?)	1980-01-01	Paper
Formal derivation of strongly correct concurrent programs Acta Informatica	1979-01-01	Paper
scientific article; zbMATH DE number 3716768 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3583248 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3640848 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3564309 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3358029 (Why is no real title available?)	1970-01-01	Paper

Research outcomes over time

This page was built for person: Michel Sintzoff