Martin Neuhäußer

Available identifiers

zbMath Open neuhausser.martin-rMaRDI QIDQ2248078

List of research outcomes

Publication	Date of Publication	Type
Improving Generalization in Software IC3	2023-03-21	Paper
On-the-fly verification and optimization of DTA-properties for large Markov chains	2014-06-30	Paper
Abstraction and model checking of core Erlang programs in Maude	2014-01-24	Paper
Model Checking Interactive Markov Chains	2010-04-27	Paper
Compositional abstraction for stochastic systems	2009-12-01	Paper
Delayed Nondeterminism in Continuous-Time Markov Decision Processes	2009-03-31	Paper
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes	2008-09-18	Paper

Research outcomes over time

This page was built for person: Martin Neuhäußer