Christian Hensel

From MaRDI portal
Person:1982640

Available identifiers

zbMath Open hensel.christianMaRDI QIDQ1982640

List of research outcomes





PublicationDate of PublicationType
Parameter synthesis for Markov models: covering the parameter space2024-06-28Paper
Counterexample-driven synthesis for probabilistic program sketches2024-03-14Paper
Counterexample-guided inductive synthesis for probabilistic systems2021-09-14Paper
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination2020-05-26Paper

Research outcomes over time

This page was built for person: Christian Hensel

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1982640&oldid=6478350"
Powered by MediaWiki