Automated Synthesis of Reactive Test Environments for Discrete Decision-Making Systems with Temporal Logic Specifications

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.