Slugs: Extensible GR(1) Synthesis
Abstract elided by the publisher.
Related papers
- SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts PLDI 2014
- LydiaSyft: A Compositional Symbolic Synthesis Framework for LTLf Specifications TACAS 2025
- Bounded Cycle Synthesis CAV 2016
- cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis CAV 2019
- Towards Parallel Boolean Functional Synthesis TACAS 2017
- NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis TACAS 2024
- Synthesis Through Unification CAV 2015
- Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis CAV 2019