Articles with public access mandates - Markus N RabeLearn more
Not available anywhere: 1
A Resolution-Style Proof System for DQBF
MN Rabe
Theory and Applications of Satisfiability Testing (SAT), 314-325, 2017
Mandates: US National Science Foundation, US Department of Defense
Available somewhere: 18
Temporal Logics for Hyperproperties
MR Clarkson, B Finkbeiner, M Koleini, KK Micinski, MN Rabe, C Sánchez
International Conference on Principles of Security and Trust (POST), 265-284, 2014
Mandates: German Research Foundation
Algorithms for Model Checking HyperLTL and HyperCTL*
B Finkbeiner, MN Rabe, C Sánchez
Computer Aided Verification (CAV), 30-48, 2015
Mandates: German Research Foundation, Government of Spain
CAQE: A Certifying QBF Solver
MN Rabe, L Tentrup
Formal Methods in Computer-Aided Design (FMCAD), 136-143, 2015
Mandates: German Research Foundation
Autoformalization with large language models
Y Wu, AQ Jiang, W Li, M Rabe, C Staats, M Jamnik, C Szegedy
Advances in Neural Information Processing Systems 35, 32353-32368, 2022
Mandates: European Commission
Model Checking Information Flow in Reactive Systems
R Dimitrova, B Finkbeiner, M Kovács, M Rabe, H Seidl
Verification, Model Checking, and Abstract Interpretation (VMCAI), 169-185, 2012
Mandates: German Research Foundation
Encodings of Bounded Synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2017
Mandates: European Commission
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
G Lederman, M Rabe, EA Lee, SA Seshia
ICLR, 2020
Mandates: US National Science Foundation
Incremental Determinization
MN Rabe, SA Seshia
Theory and Applications of Satisfiability Testing (SAT), 375-392, 2016
Mandates: US National Science Foundation
Teaching temporal logics to neural networks
C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner
arXiv preprint arXiv:2003.04218, 2020
Mandates: European Commission
Lime: Learning inductive bias for primitives of mathematical reasoning
Y Wu, MN Rabe, W Li, J Ba, RB Grosse, C Szegedy
International Conference on Machine Learning, 11251-11262, 2021
Mandates: European Commission
Maximum Model Counting
DJ Fremont, MN Rabe, SA Seshia
AAAI, 3885-3892, 2017
Mandates: US National Science Foundation, US Department of Defense
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
MN Rabe, S Schewe
Acta Informatica 48, 291-315, 2011
Mandates: German Research Foundation
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games
M Rabe, S Schewe
Theoretical Computer Science, 342-357, 2013
Mandates: German Research Foundation
Clausal abstraction for DQBF
L Tentrup, MN Rabe
International Conference on Theory and Applications of Satisfiability …, 2019
Mandates: German Research Foundation, European Commission
Understanding and Extending Incremental Determinization for 2QBF
MN Rabe, L Tentrup, C Rasmussen, SA Seshia
Computer Aided Verification (CAV), 256-274, 2018
Mandates: US National Science Foundation, European Commission
Neural circuit synthesis from specification patterns
F Schmitt, C Hahn, MN Rabe, B Finkbeiner
Advances in Neural Information Processing Systems 34, 15408-15420, 2021
Mandates: European Commission
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains
MN Rabe, CM Wintersteiger, H Kugler, B Yordanov, Y Hamadi
Quantitative Evaluation of Systems (QEST), 388-403, 2014
Mandates: German Research Foundation
Monitoring Temporal Information Flow
R Dimitrova, B Finkbeiner, M Rabe
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program