# Markus N. Rabe

According to our database

^{1}, Markus N. Rabe## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2017

Encodings of Bounded Synthesis.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Resolution-Style Proof System for DQBF.

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Maximum Model Counting.

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

A temporal logic approach to iInformation-flow control.

PhD thesis, 2016

Efficient approximation of optimal control for continuous-time Markov games.

Inf. Comput., 2016

Incremental Determinization.

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Verifying hyperproperties of hardware systems.

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

What's Decidable about Syntax-Guided Synthesis?

CoRR, 2015

CAQE: A Certifying QBF Solver.

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Algorithms for Model Checking HyperLTL and HyperCTL ^*.

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

The linear-hyper-branching spectrum of temporal logics.

it - Information Technology, 2014

Temporal Logics for Hyperproperties.

CoRR, 2014

A shallow embedding of HyperCTL.

Archive of Formal Proofs, 2014

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains.

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Temporal Logics for Hyperproperties.

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2013

Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games.

Theor. Comput. Sci., 2013

A Temporal Logic for Hyperproperties.

CoRR, 2013

2012

Model Checking Information Flow in Reactive Systems.

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Monitoring Temporal Information Flow.

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements.

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games.

Acta Inf., 2011

Efficient Approximation of Optimal Control for Continuous-Time Markov Games.

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

2010

Efficient Approximation of Optimal Control for Markov Games

CoRR, 2010

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games

CoRR, 2010