Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design (2022)

First Author: Innes C

Attributed to: UKRI Trustworthy Autonomous Systems Node in Governance and Regulation funded by SPF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://arxiv.org/abs/2109.08071

Type: Other