Discussion on: "Safety Verification for Probabilistic Hybrid Systems"

Xenofon D. Koutsoukos. Discussion on: "Safety Verification for Probabilistic Hybrid Systems". Eur. J. Control, 18(6):588-590, 2012. [doi]

Abstract

Abstract is missing.