Martin R. 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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