Approximate Model Checking of Stochastic Hybrid Systems

Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini. Approximate Model Checking of Stochastic Hybrid Systems. Eur. J. Control, 16(6):624-641, 2010. [doi]

Abstract

Abstract is missing.