AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version)

Sasinee Pruekprasert, Clovis Eberhart

A key challenge in abstraction-based verification and control under complex specifications such as Linear Temporal Logic (LTL) is that abstract models retain significantly less inf…