Verifying LTL Properties of Hybrid Systems with K-Liveness.

Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta

Browse the full CAV paper archive.