most citedSpecifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks

6 citations · 7 across the 18 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2024★ 1 cited

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications

Josefine B. Graebener, Apurva S. Badithela, Denizalp Goktas +4

Designing tests to evaluate if a given autonomous system satisfies complex specifications is challenging due to the complexity of these systems. This work proposes a flow-based app…