BedreFlyt

Digital Twins meet Formal Methods
PFQA 2025: Colloquium on Principles of Formal Quantitative Analysis
30 August 2025 2:40 PM — 3:10 PM CONFEST 2025, Aarhus, Denmark
What-If Scenarios for the BedreFlyt Digital Twin
In: Principles of Formal Quantitative Analysis. LNCS 15760. © Springer 2025.
Preprint Cite DOI
BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins
Proc. ASQAP 2025. EPTCS 2025.
Preprint Cite DOI
BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins