Export Citations
1 Results for: Author: Gray, Ander
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,774,376 records)|Limit your search to The ACM Full-Text Collection (761,088 records)
- research-articleFebruary 2024
Verified propagation of imprecise probabilities in non-linear ODEs
International Journal of Approximate Reasoning (IJAR), Volume 164, Issue Chttps://doi.org/10.1016/j.ijar.2023.109044AbstractWe combine reachability analysis and probability bounds analysis, which allow for imprecisely known random variables (multivariate intervals or p-boxes) to be specified as the initial states of a dynamical system. In combination, the methods ...