49 citations · 49 across the 3 of their papers we have counts for
1 paper · 1 filter
Glen Chou, Yunus E. Sahin, Liren Yang +3
This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification. Our hypothesis is that if it is possible to co…