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
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1109/icra46639.2022.9811579
Publication URI: http://dx.doi.org/10.1109/icra46639.2022.9811579
Type: Conference/Paper/Proceeding/Abstract