Time-aware relational abstractions for hybrid systems.

Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta

Browse the full EMSOFT paper archive.