Linear Hybrid System Falsification through Local Search.

Houssam Abbas, Georgios Fainekos

Browse the full ATVA paper archive.