13 citations · 38 across the 20 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.GT2018
Symbolic Approximation of Weighted Timed Games
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
Weighted timed games are zero-sum games played by two players on a timed automaton equipped with weights, where one player wants to minimise the accumulated weight while reaching a…
cs.FL2018★ 1 cited
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg +3
In this paper, we propose a novel framework for the synthesis of robust and optimal energy-aware controllers. The framework is based on energy timed automata, allowing for easy exp…