18 citations · 100 across the 28 of their papers we have counts for
3 papers · 1 filter
Non-Zero Sum Games for Reactive Synthesis
Romain Brenguier, Lorenzo Clemente, Paul Hunter +5
In this invited contribution, we summarize new solution concepts useful for the synthesis of reactive systems that we have introduced in several recent publications. These solution…
Average-energy games (full version)
Patricia Bouyer, Nicolas Markey, Mickael Randour +2
Two-player quantitative zero-sum games provide a natural framework to synthesize controllers with performance guarantees for reactive systems within an uncontrollable environment.…
Average-energy games
Patricia Bouyer, Nicolas Markey, Mickael Randour +2
Two-player quantitative zero-sum games provide a natural framework to synthesize controllers with performance guarantees for reactive systems within an uncontrollable environment.…