Floras - Flow-based Reactive Test Synthesis for Autonomous Systems
Floras is an open-source Python package for reactive test synthesis for autonomous systems using network flows.
Follow this link for the installation instructions.
If you use floras for research purposes, please acknowledge it by citing Josefine B. Graebener*, Apurva S. Badithela*, Denizalp Goktas, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, and Richard M. Murray. "Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications." ArXiv abs/2404.09888 (2024).