86 citations · 138 across the 14 of their papers we have counts for
1 paper · 1 filter
Houssam Abbas, Georgios Fainekos
In this paper, we address the problem of local search for the falsification of hybrid automata with affine dynamics. Namely, if we are given a sequence of locations and a maximum s…