Using Bayesian Inference and Flowpipe Construction to Bound Predictions of Biogas Production at Wastewater Treatment Plants Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

November 17, 2025

Date in CU Experts

February 1, 2026 12:51 PM

Full Author List

Chapin F; Varma A; Akinwande S; Mauter M; Sankaranarayanan S

Full Editor List

Damiani F; Farrell M

author count

5

citation count

0

published in

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Journal

presented at event

20th International Conference on Integrated Formal Methods-IFM-Annual Conference

Other Profiles

International Standard Serial Number (ISSN)

0302-9743

Electronic International Standard Serial Number (EISSN)

1611-3349

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-032-10794-7_10

International Standard Book Number (ISBN) 13

978-3-032-10793-0

Additional Document Info

start page

182

end page

201

volume

16194