Cited By
View all- Bouyer PMarkey NRandour MLarsen KLaursen S(2018)Average-energy gamesActa Informatica10.1007/s00236-016-0274-155:2(91-127)Online publication date: 1-Mar-2018
- Bouyer PMarkey NRandour MLarsen KLaursen S(2015)Average-energy gamesElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.193.1193(1-15)Online publication date: 23-Sep-2015
- Chatterjee KIbsen-Jensen RMajumdar RFráänzle MLygeros J(2014)Edit distance for timed automataProceedings of the 17th international conference on Hybrid systems: computation and control10.1145/2562059.2562141(303-312)Online publication date: 15-Apr-2014