52 citations · 149 across the 34 of their papers we have counts for
1 paper · 1 filter
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
In this paper, we consider reachability games over general hybrid systems, and distinguish between two possible observation frameworks for those games: either the precise dynamics…