Verification-driven design and programming of autonomous control agents
Attributed to:
Verifiable Autonomy
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.sciencedirect.com/science/journal/09218890
Type: Journal Article/Review
Volume: 77
Parent Publication: Robotics and Autonomous Systems
Issue: November