Recent Articles and Multimedia
Paper Title: Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
Authors: Josefine Graebener, Apurva Badithela, Denizalp Goktas, Wyatt Ubellacker, Eric Mazumdar, Aaron D. Ames, and Richard M. Murray
This work proposes a flow-based approach for reactive test synthesis from temporal logic specifications, enabling the synthesis of test environments consisting of static and reactive obstacles, and dynamic test agents that can transition between states. These specifications describe desired test behavior, including system requirements as well as a test objective not revealed to the system. The synthesized test strategy places restrictions on system actions in closed-loop with system behavior, accomplishing the test objective while ensuring realizability of the system’s objective without aiding it (a general-sum setting).
READ MORE ABOUT THIS PAPER HERE
The flow-based test synthesis framework consists of three key parts: i) graph construction, ii) routing optimization, and iii) test environment synthesis (e.g., reactive test strategy/test agent strategy, static obstacles).