Scan barcode
250 pages • missing pub info (editions)
ISBN/UID: 9781447162094
Format: Paperback
Language: English
Publisher: Springer
Publication date: 13 April 2014
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: 9781447162094
Format: Paperback
Language: English
Publisher: Springer
Publication date: 13 April 2014
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