Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
Abstract elided by the publisher.
Related papers
- SafeTree: Expressive Tree Policies for Microservices OOPSLA 2025
- Static enforcement of security with types ICFP 2000
- An inductive synthesis framework for verifiable reinforcement learning PLDI 2019
- Network Traffic Classification by Program Synthesis TACAS 2021
- Shield Synthesis: - Runtime Enforcement for Reactive Systems TACAS 2015
- Layers of Confluence for Actors CPP 2026
- Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints CAV 2023
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems CAV 2020