publication venue for
- Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach 2023
- Numerical over-approximation of invariance entropy via finite abstractions 2022
- ISS small-gain criteria for infinite networks with linear gain functions 2021
- On integer balancing of directed graphs 2021
- Sensor placement for optimal estimation of vector-valued diffusion processes 2018 ... more