11 citations · 11 across the 1 of their papers we have counts for
1 paper
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…