Scan barcode
250 pages • missing pub info (editions)
ISBN/UID: 9781447127949
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 19 February 2012
Description
Stochastic reachability analysis (SRA) is a method of analyzing the behavior of control systems which mix discrete and continuous dynamics. For probabilistic discrete systems it has been shown to be a practical verification method but for stochast...
Community Reviews
Content Warnings
250 pages • missing pub info (editions)
ISBN/UID: 9781447127949
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 19 February 2012
Description
Stochastic reachability analysis (SRA) is a method of analyzing the behavior of control systems which mix discrete and continuous dynamics. For probabilistic discrete systems it has been shown to be a practical verification method but for stochast...
Community Reviews
Content Warnings