Up a level |
Manzanas Lopez, Diego, Althoff, Matthias, Benet, Luis, Chen, Xin, Fan, Jiameng, Forets, Marcelo, Huang, Chao ORCID: 0000-0002-9300-1787, Johnson, Taylor T, Ladner, Tobias, Li, Wenchao et al (show 2 more authors)
(2022)
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
In: Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22).
Gray, Ander ORCID: 0000-0002-1585-0900, Forets, Marcelo, Schilling, Christian, Ferson, Scott ORCID: 0000-0002-2613-0650 and Benet, Luis
(2024)
Verified propagation of imprecise probabilities in non-linear ODEs.
International Journal of Approximate Reasoning, 164.
p. 109044.