Minimally Constrained Testing for Autonomy with Temporal Logic Specifications: Revision history

From Murray Wiki
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

22 October 2022

  • curprev 00:2100:21, 22 October 2022Murray talk contribs 1,714 bytes +1,714 Created page with "{{Paper |Title=Minimally Constrained Testing for Autonomy with Temporal Logic Specifications |Authors=Apurva Badithela, Josefine Graebener, Richard M. Murray |Source=RSS 2022 Workshop on Envisioning an Infrastructure for Multi-Robot and Collaborative Autonomy Testing and Evaluation |Abstract=In this paper, we study automated test generation for discrete decision-making modules in autonomous systems. First, we consider a subset of Linear Temporal Logic to represent formal..."