PESSOA: A Tool for Embedded Controller Synthesis
No abstract available.
Related papers
- Temporal Stream Logic: Synthesis Beyond the Bools CAV 2019
- $\mathbf{{\textsc {PyCaliper}}}$: Python-Embedded Infrastructure for RTL Verification and Specification Synthesis CAV 2025
- Hybrid Game Control Envelope Synthesis OOPSLA 2026
- Thread-Aware Area-Efficient High-Level Synthesis Compiler for Embedded Devices CGO 2021
- Structural Synthesis for GXW Specifications CAV 2016
- Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages ECOOP 2026
- MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives TACAS 2015
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems CAV 2020