An integrated state- and event-based framework for verifying liveness in supervised systems.

Jasen Markovski, Michel A. Reniers

Browse the full ICARCV paper archive.