Talks on Probabilistic Hybrid Planning

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