Mode-Target Games: Reactive Synthesis for Control Applications.

Ayca Balkan Moshe Y. Vardi Paulo Tabuada

Published in: IEEE Trans. Autom. Control. (2018)

Keyphrases

control system
game theory
control method
data sets
control theory
computer games
control strategy
multi agent
optimal control
adaptive control
program synthesis