Automated formal synthesis of provably safe digital controllers for continuous plants (2019)
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.17863/cam.61909
Publication URI: https://www.repository.cam.ac.uk/handle/1810/314802
Type: Other