Automated formal synthesis of provably safe digital controllers for continuous plants. (2020)
Attributed to:
New Foundational Structures for Engineering Verified multi-UAVs
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/s00236-019-00359-1
PubMed Identifier: 32189718
Publication URI: http://europepmc.org/abstract/MED/32189718
Type: Journal Article/Review
Volume: 57
Parent Publication: Acta informatica
Issue: 1
ISSN: 0001-5903