Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems.

Ahmed Bouajjani, Riadh Robbana

Browse the full CAV paper archive.