Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games

DOI10.1007/978-3-540-39993-3_14zbMath1278.68196OpenAlexW1621507622MaRDI QIDQ5390278

Michel Sintzoff

Publication date: 1 April 2011

Published in: From Object-Orientation to Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-39993-3_14

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Dynamic games (91A25)

Related Items (3)

Algebraic neighbourhood logic ⋮ On the adaptive control of a class of SISO dynamic hybrid systems ⋮ An algebra of hybrid systems

This page was built for publication: Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games