Discussion on: ``Safety verification for probabilistic hybrid systems''
type: Item
instance of: scholarly article
title: Discussion on: ``Safety verification for probabilistic hybrid systems''
zbMATH Open document ID: 1291.93292
DOI: 10.1016/S0947-3580(12)71160-3
published in: European Journal of Control
publication date: 2014-01-21T00:00:00Z
Mathematics Subject Classification ID: 93E03
Mathematics Subject Classification ID: 93C30
zbMATH DE Number: 6248553
author: Xenofon D. Koutsoukos
describes a project that uses: PRISM
MaRDI profile type: Publication
cites work: Stochastic reachability analysis of hybrid systems.
cites work: A probabilistic PDL
cites work: Safety verification for probabilistic hybrid systems
cites work: Rare-event verification for stochastic hybrid systems
description: scientific article; zbMATH DE number 6248553