Markus Rabe

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Incremental determinization for quantifier elimination and functional synthesis Computer Aided Verification	2024-02-16	Paper
Understanding and extending incremental determinization for 2QBF Computer Aided Verification	2023-05-05	Paper
Understanding and extending incremental determinization for 2QBF Computer Aided Verification	2023-05-05	Paper
Towards the automatic mathematician	2021-12-01	Paper
Optimal time-abstract schedulers for CTMDPs and Markov games	2021-02-16	Paper
Encodings of bounded synthesis Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Clausal abstraction for DQBF (available as arXiv preprint)	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 Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
Efficient approximation of optimal control for continuous-time Markov games Information and Computation	2016-03-10	Paper
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games Theoretical Computer Science	2013-02-19	Paper
Verification of partial-information probabilistic systems using counterexample-guided refinements Automated Technology for Verification and Analysis	2012-11-21	Paper
Efficient approximation of optimal control for continuous-time Markov games (available as arXiv preprint)	2012-08-31	Paper
Model Checking Information Flow in Reactive Systems Lecture Notes in Computer Science	2012-06-15	Paper
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games Acta Informatica	2012-03-23	Paper

Research outcomes over time

This page was built for person: Markus Rabe