Person:6136743

From MaRDI portal

Available identifiers

zbMath Open debbi.hichemMaRDI QIDQ6136743

List of research outcomes





PublicationDate of PublicationType
A Debugging Game for Probabilistic Models2023-08-31Paper
Constraint-based debugging in probabilistic model checking2023-03-24Paper

Research outcomes over time

This page was built for person: