10 citations · 44 across the 15 of their papers we have counts for
Showing cs.GTShow all
2 papers · 1 filter
cs.GT2020★ 1 cited
One-Clock Priced Timed Games with Negative Weights
Thomas Brihaye, Gilles Geeraerts, Axel Haddad +2
Priced timed games are two-player zero-sum games played on priced timed automata (whose locations and transitions are labeled by weights modelling the cost of spending time in a st…
cs.GT2015★ 7 cited
Simple Priced Timed Games Are Not That Simple
Thomas Brihaye, Gilles Geeraerts, Axel Haddad +2
Priced timed games are two-player zero-sum games played on priced timed automata (whose locations and transitions are labeled by weights modeling the costs of spending time in a st…