Michel Sintzoff

From MaRDI portal
Person:1028978

Available identifiers

zbMath Open sintzoff.michelMaRDI QIDQ1028978

List of research outcomes





PublicationDate of PublicationType
Iterative synthesis of control guards ensuring invariance and inevitability in discrete-decision games2011-04-01Paper
Model refinement using bisimulation quotients2011-01-21Paper
A semiring approach to equivalences, bisimulations and control2009-12-11Paper
On the design of correct and optimal dynamical systems and games2009-07-09Paper
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems2008-08-28Paper
https://portal.mardi4nfdi.de/entity/Q43735581998-02-16Paper
https://portal.mardi4nfdi.de/entity/Q37733181987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36679311983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39290241981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38753241980-01-01Paper
Formal derivation of strongly correct concurrent programs1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39070551979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41517001978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41995011978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41365371976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56321501970-01-01Paper

Research outcomes over time

This page was built for person: Michel Sintzoff

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1028978&oldid=5849334"
Powered by MediaWiki