publication venue for
- Closure certificates 2026
- Efficient strategy synthesis for switched stochastic systems with distributional uncertainty 2025
- The Editorial 2024
- Compositional synthesis of control barrier certificates for networks of stochastic systems against w-regular specifications 2024
- Compositional construction of abstractions for infinite networks of discrete-time switched systems 2022
- Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems 2021
- Symbolic models for infinite networks of control systems: A compositional approach 2021
- Verification of approximate opacity for switched systems: A compositional approach 2021
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations 2021
- Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach 2020
- Special issue on Hybrid Systems: Computation and Control 2018
- Change-of-bases abstractions for non-linear hybrid systems 2016