collaborators

1 paper

cs.LO2025

First-Order LTLf Synthesis with Lookback (Extended Version)

Sarah Winkler

Reactive synthesis addresses the problem of generating a controller for a temporal specification in an adversarial environment; it was typically studied for LTL. Driven by applicat…