Case Studies in Data-Driven Verification of Dynamical Systems

Article Details
Title:	Case Studies in Data-Driven Verification of Dynamical Systems
Article URLs:	https://doi.org/10.1145/2883817.2883846 https://www.wikidata.org/entity/Q60022133
Alternative Article URLs:
Authors:	Alexandar Kozarev	Metron, Inc.
	John F. Quindlen	MIT, Aerospace Controls Lab
	Jonathan P. How	MIT, Aerospace Controls Lab
	Ufuk Topcu	Univ of Texas, Dept. of Aerospace Eng.
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://tinyurl.com/z8hyfrf
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1550212
DBLP Key:	conf/hybrid/KozarevQHT16
Author Comments:

ACM Intl. Conf. on Hybrid Systems: Computation and Control, HSCC 2016