52 citations · 149 across the 34 of their papers we have counts for
3 papers · 1 filter
Efficient Energy Distribution in a Smart Grid using Multi-Player Games
Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts +2
Algorithms and models based on game theory have nowadays become prominent techniques for the design of digital controllers for critical systems. Indeed, such techniques enable auto…
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters
Thomas Brihaye, Benoît Delahaye, Loïg Jezequel +2
This volume contains the joint proceedings of the Workshop on Games for the Synthesis of Complex Systems (CASSTING'16) and of the 3rd International Workshop on Synthesis of Complex…
Real-Time Synthesis is Hard!
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts +3
We study the reactive synthesis problem (RS) for specifications given in Metric Interval Temporal Logic (MITL). RS is known to be undecidable in a very general setting, but on infi…