Verifying LTL Properties of Hybrid Systems with K-Liveness

Article Details
Title:	Verifying LTL Properties of Hybrid Systems with K-Liveness
Article URLs:	https://doi.org/10.1007/978-3-319-08867-9_28 https://www.wikidata.org/entity/Q62041160
Alternative Article URLs:
Authors:	Alessandro Cimatti	Fondazione Bruno Kessler
	Alberto Griggio	Fondazione Bruno Kessler
	Sergio Mover	Fondazione Bruno Kessler
	Stefano Tonetta	Fondazione Bruno Kessler
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://es.fbk.eu/people/griggio/papers/cav14-kzeno.tar.bz2
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/CimattiGMT14
Author Comments:

Computer Aided Verification, CAV 2014