Model Checking of Hybrid Systems Using Shallow Synchronization.

Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta

Browse the full FORTE paper archive.