Directed Specifications and Assumption Mining for Monotone Dynamical Systems

Article Details
Title:	Directed Specifications and Assumption Mining for Monotone Dynamical Systems
Article URLs:	https://doi.org/10.1145/2883817.2883833
Alternative Article URLs:
Authors:	Eric S. Kim	University of California at Berkeley, Department of Electrical Engineering and Computer Sciences
	Murat Arcak	University of California at Berkeley, Department of Electrical Engineering and Computer Science
	Sanjit A. Seshia	University of California at Berkeley, Department of Electrical Engineering and Computer Science
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://dl.acm.org/ft_gateway.cfm?id=2883833&type=zip&path=%2F2890000%2F2883833%2Fsupp%2Fhscc36%2Ezip&supp=1&dwn=1
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1446145, 1139138
DBLP Key:	conf/hybrid/KimAS16
Author Comments:

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