Automated formal synthesis of provably safe digital controllers for continuous plants (2019)

First Author: Abate A

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.53524

Publication URI: https://www.repository.cam.ac.uk/handle/1810/306444

Type: Other