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).

• 02:21, 11 August 2024 Murray talk contribs created page Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications (Created page with "{{Paper |Title=Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications |Authors=Josefine B. Graebener, Apurva S. Badithela, Denizalp Goktas, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray |Source=Submitted, IEEE Transactions on Robotics, 2024 |Abstract=Designing tests to evaluate if a given autonomous system satisfies complex specifications is challenging due to the complexity of these systems....")