Markus N. Rabe

Available identifiers

zbMath Open rabe.markus-nMaRDI QIDQ259049

List of research outcomes

Publication	Date of Publication	Type
Incremental determinization for quantifier elimination and functional synthesis	2024-02-16	Paper
Understanding and extending incremental determinization for 2QBF	2023-05-05	Paper
Towards the automatic mathematician	2021-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q5151040	2021-02-16	Paper
Encodings of Bounded Synthesis	2020-08-05	Paper
Clausal abstraction for DQBF	2020-05-20	Paper
Algorithms for model checking HyperLTL and HyperCTL\(^*\)	2018-03-01	Paper
A resolution-style proof system for DQBF	2017-11-15	Paper
Incremental Determinization	2016-09-05	Paper
Efficient approximation of optimal control for continuous-time Markov games	2016-03-10	Paper
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games	2013-02-19	Paper
Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements	2012-11-21	Paper
Efficient Approximation of Optimal Control for Markov Games	2012-08-31	Paper
Model Checking Information Flow in Reactive Systems	2012-06-15	Paper
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games	2012-03-23	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: Markus N. Rabe