AP-Observation Automata for Abstraction-Based Verification of Continuous-Time Systems.

Sasinee Pruekprasert, Clovis Eberhart

Browse the full ICTAC paper archive.