Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design (2022)
Attributed to:
UKRI Trustworthy Autonomous Systems Node in Governance and Regulation
funded by
SPF
Abstract
No abstract provided