7 citations · 31 across the 19 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.GT2016★ 3 cited
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…
cs.LO2016★ 1 cited
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…