STL Model Checking of Continuous and Hybrid Systems.

Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff

Browse the full ATVA paper archive.