Synthesis of Controllers for Continuous Blackbox Systems
Abstract elided by the publisher.
Related papers
- BlackBox: lightweight security monitoring for COTS binaries CGO 2016
- Synthesis of reactive controllers for hybrid systems (keynote) POPL 2016
- An inductive synthesis framework for verifiable reinforcement learning PLDI 2019
- Verification-guided Programmatic Controller Synthesis TACAS 2023
- Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants CAV 2017
- Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs VMCAI 2015
- Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations OOPSLA 2025
- Automatic Generation of Debug Headers through BlackBox Equivalence Checking CGO 2022