On Synthesizing Controllers from Bounded-Response Properties
Abstract elided by the publisher.
Related papers
- Synthesizing Reactive Systems from Hyperproperties CAV 2018
- Hampa: Solver-Aided Recency-Aware Replication CAV 2020
- Synthesis of reactive controllers for hybrid systems (keynote) POPL 2016
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems CAV 2020
- Hamsaz: replication coordination analysis and synthesis POPL 2019
- Better Quality in Synthesis through Quantitative Objectives CAV 2009
- ProbNV: probabilistic verification of network control planes ICFP 2021
- Synthesizing Backward Error Bounds, Backward PLDI 2026