keywords 0102 Applied Mathematics, 0906 Electrical and Electronic Engineering, 0913 Mechanical Engineering
publication venue for Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems 2021 Development and numerical validation of a reduced-order two-track car model 2014 Robustness, Optimization, and Architectures 2011