Fletcher T. Chapin, Ankur Varma, Samuel Akinwande, Meagan S. Mauter, Sriram Sankaranarayanan 0001. Using Bayesian Inference and Flowpipe Construction to Bound Predictions of Biogas Production at Wastewater Treatment Plants. In Ferruccio Damiani, Marie Farrell, editors, Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings. Volume 16194 of Lecture Notes in Computer Science, pages 182-201, Springer, 2025. [doi]
Abstract is missing.