113 citations · 317 across the 70 of their papers we have counts for
1 paper · 2 filters
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts +3
This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target locati…