All public logs

Combined display of all available logs of Murray Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 00:21, 22 October 2022 Murray talk contribs created page Minimally Constrained Testing for Autonomy with Temporal Logic Specifications (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...")