publication venue for
- A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems 2017
- Automatic Synthesis of Controllers from Specifications using Control Certificates 2016
- On Nonlinear Prices in Timed Automata 2016
- Preface 2016
- Improved Undecidability Results for Reachability Games on Recursive Timed Automata 2014
- Preface 2016
- LTLf Synthesis on Probabilistic Systems 2020
- SENSE: Abstraction-Based Synthesis of Networked Control Systems 2018
- Modular Construction of Shape-Numeric Analyzers 2013