Optimal Time-Abstract Schedulers for CTMDPs and Markov Games - Markus N. Rabe; Sven Schewe (QAPL, 2010)

Efficient Approximation of Optimal Control for Markov Games - Markus N. Rabe; Sven Schewe; Lijun Zhang 001 (CoRR, 2010)

Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. - Markus N. Rabe; Sven Schewe (Acta Informatica, 2011)

Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. - Sergio Giro; Markus N. Rabe (ATVA, 2012)

Monitoring Temporal Information Flow. - Rayna Dimitrova; Bernd Finkbeiner; Markus N. Rabe (ISoLA (1), 2012)

Model Checking Information Flow in Reactive Systems. - Rayna Dimitrova; Bernd Finkbeiner; Máté Kovács; Markus N. Rabe; Helmut Seidl (VMCAI, 2012)

A Temporal Logic for Hyperproperties. - Bernd Finkbeiner; Markus N. Rabe; César Sánchez 001 (CoRR, 2013)

Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. - Markus N. Rabe; Sven Schewe (Theor. Comput. Sci., 2013)

Temporal Logics for Hyperproperties. - Michael R. Clarkson; Bernd Finkbeiner; Masoud Koleini; Kristopher K. Micinski; Markus N. Rabe; César Sánchez 001 (POST, 2014)

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. - Markus N. Rabe; Christoph M. Wintersteiger; Hillel Kugler; Boyan Yordanov; Youssef Hamadi (QEST, 2014)

A shallow embedding of HyperCTL. - Markus N. Rabe; Peter Lammich; Andrei Popescu 001 (Arch. Formal Proofs, 2014)

The linear-hyper-branching spectrum of temporal logics. - Bernd Finkbeiner; Markus N. Rabe (it Inf. Technol., 2014)

Algorithms for Model Checking HyperLTL and HyperCTL ^*. - Bernd Finkbeiner; Markus N. Rabe; César Sánchez 001 (CAV (1), 2015)

CAQE: A Certifying QBF Solver. - Markus N. Rabe; Leander Tentrup (FMCAD, 2015)

What's Decidable about Syntax-Guided Synthesis? - Benjamin Caulfield; Markus N. Rabe; Sanjit A. Seshia; Stavros Tripakis (CoRR, 2015)

Verifying hyperproperties of hardware systems. - Bernd Finkbeiner; Markus N. Rabe (FMCAD, 2016)

Incremental Determinization. - Markus N. Rabe; Sanjit A. Seshia (SAT, 2016)

Efficient approximation of optimal control for continuous-time Markov games. - John Fearnley; Markus N. Rabe; Sven Schewe; Lijun Zhang 001 (Inf. Comput., 2016)

A temporal logic approach to iInformation-flow control. - Markus N. Rabe (2016)

Maximum Model Counting. - Daniel J. Fremont; Markus N. Rabe; Sanjit A. Seshia (AAAI, 2017)

A Resolution-Style Proof System for DQBF. - Markus N. Rabe (SAT, 2017)

Encodings of Bounded Synthesis. - Peter Faymonville; Bernd Finkbeiner; Markus N. Rabe; Leander Tentrup (TACAS (1), 2017)

Understanding and Extending Incremental Determinization for 2QBF. - Markus N. Rabe; Leander Tentrup; Cameron Rasmussen; Sanjit A. Seshia (CAV (2), 2018)

Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning. - Gil Lederman; Markus N. Rabe; Sanjit A. Seshia (CoRR, 2018)

Synthesis of Boolean Functions with Clausal Abstraction. - Markus N. Rabe; Leander Tentrup (CoRR, 2018)

Incremental Determinization for Quantifier Elimination and Functional Synthesis. - Markus N. Rabe (CAV (2), 2019)

HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. - Kshitij Bansal; Sarah M. Loos; Markus N. Rabe; Christian Szegedy; Stewart Wilcox (ICML, 2019)

Clausal Abstraction for DQBF. - Leander Tentrup; Markus N. Rabe (SAT, 2019)

A Model Counter's Guide to Probabilistic Systems. - Marcell Vazquez-Chanlatte; Markus N. Rabe; Sanjit A. Seshia (CoRR, 2019)

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version). - Kshitij Bansal; Sarah M. Loos; Markus N. Rabe; Christian Szegedy; Stewart Wilcox (CoRR, 2019)

Learning to Reason in Large Theories without Imitation. - Kshitij Bansal; Sarah M. Loos; Markus N. Rabe; Christian Szegedy (CoRR, 2019)

Graph Representations for Higher-Order Logic and Theorem Proving. - Aditya Paliwal; Sarah M. Loos; Markus N. Rabe; Kshitij Bansal; Christian Szegedy (AAAI, 2020)

Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. - Gil Lederman; Markus N. Rabe; Sanjit Seshia; Edward A. Lee (ICLR, 2020)

Mathematical Reasoning in Latent Space. - Dennis Lee 003; Christian Szegedy; Markus N. Rabe; Sarah M. Loos; Kshitij Bansal (ICLR, 2020)

Teaching Temporal Logics to Neural Networks. - Bernd Finkbeiner; Christopher Hahn; Markus N. Rabe; Frederik Schmitt (CoRR, 2020)

Language Modeling for Formal Mathematics. - Markus N. Rabe; Dennis Lee 003; Kshitij Bansal; Christian Szegedy (CoRR, 2020)

Towards the Automatic Mathematician. - Markus N. Rabe; Christian Szegedy (CADE, 2021)

Teaching Temporal Logics to Neural Networks. - Christopher Hahn; Frederik Schmitt; Jens U. Kreber; Markus Norman Rabe; Bernd Finkbeiner (ICLR, 2021)

Mathematical Reasoning via Self-supervised Skip-tree Training. - Markus Norman Rabe; Dennis Lee 003; Kshitij Bansal; Christian Szegedy (ICLR, 2021)

LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. - Yuhuai Wu; Markus N. Rabe; Wenda Li; Jimmy Ba; Roger B. Grosse; Christian Szegedy (ICML, 2021)

Neural Circuit Synthesis from Specification Patterns. - Frederik Schmitt; Christopher Hahn; Markus N. Rabe; Bernd Finkbeiner (NeurIPS, 2021)

Self-attention Does Not Need O(n2) Memory. - Markus N. Rabe; Charles Staats (CoRR, 2021)

Memorizing Transformers. - Yuhuai Wu; Markus Norman Rabe; DeLesley Hutchins; Christian Szegedy (ICLR, 2022)

Autoformalization with Large Language Models. - Yuhuai Wu; Albert Qiaochu Jiang; Wenda Li; Markus N. Rabe; Charles Staats; Mateja Jamnik; Christian Szegedy (NeurIPS, 2022)

Baldur: Whole-Proof Generation and Repair with Large Language Models. - Emily First; Markus N. Rabe; Talia Ringer; Yuriy Brun (ESEC/SIGSOFT FSE, 2023)