Automated synthesis of reliable and efficient systems through game theory: a case study

Mickael Randour

Reactive computer systems bear inherent complexity due to continuous interactions with their environment. While this environment often proves to be uncontrollable, we still want to…