Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants

Article Details
Title:	Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
Article URLs:	https://doi.org/10.1007/978-3-319-63387-9_23
Alternative Article URLs:
Authors:	Alessandro Abate	University of Oxford
	Iury Bessa	Federal University of Amazonas
	Dario Cattaruzza	University of Oxford
	Lucas C. Cordeiro	University of Oxford Federal University of Amazonas
	Cristina David	University of Oxford
	Pascal Kesseli	University of Oxford
	Daniel Kroening	University of Oxford
	Elizabeth Polgreen	University of Oxford
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:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/AbateBCCDKKP17
Author Comments:

Computer Aided Verification, CAV 2017