Guaranteed computation of robot trajectories (2018)
Attributed to:
Verifiable Autonomy
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://www.sciencedirect.com/science/article/pii/S0921889016304006
Type: Journal Article/Review
Volume: 93
Parent Publication: Robotics and Autonomous Systems
Issue: July