- Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Lutz Klinkenberg Christian Blumenthal Mingshuai Chen Darion Haase Joost-Pieter Katoen Mon 02 September 2024
- Discounted-Sum Automata with Real-Valued Discount Factors Udi Boker Mon 15 July 2024
- A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers Taolue Chen Marco Diciolla Marta Kwiatkowska Alexandru Mereacre Tue 15 July 2014
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
