Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. (2021)
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/s10817-020-09562-z
PubMed Identifier: 33678930
Publication URI: http://europepmc.org/abstract/MED/33678930
Type: Journal Article/Review
Volume: 65
Parent Publication: Journal of automated reasoning
Issue: 2
ISSN: 0168-7433