====== Talks on Probabilistic Hybrid Planning ======
In these talks we consider several problems related to hybrid systems, such as model checking, planning, and so on.[[start|Back to Start page]]
----
^Title ^ Authors ^ Reference Papers ^
|Approximate model checking for stochastic hybrid systems|Abate et. al.|{{:Papers:AKLP10.pdf|paper}}|
|A stochastic games framework for verification and control of discrete time stochastic hybrid systems|Ding et. al|{{:Papers:DKSALT13.pdf|paper}}|