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 |