In these talks we consider several problems related to hybrid systems, such as model checking, planning, and so on.Back to Start page
Title | Authors | Reference Papers |
Approximate model checking for stochastic hybrid systems | Abate et. al. | paper |
A stochastic games framework for verification and control of discrete time stochastic hybrid systems | Ding et. al | paper |