Markus Rabe

Available identifiers

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 continuous-time 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

This page was built for person: Markus Rabe