Login / Signup
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games.
Michel Sintzoff
Published in:
Essays in Memory of Ole-Johan Dahl (2004)
Keyphrases
</>
control system
decision making
decision makers
game theory
data sets
decision problems
decision rules
computer games
control strategy
control method
program synthesis
multiscale
bayesian networks
video games
optimal control
continuous variables
human computation