Markus N Rabe
Markus N Rabe
Vahvistettu sähköpostiosoite verkkotunnuksessa google.com - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1752014
Algorithms for Model Checking HyperLTL and HyperCTL*
B Finkbeiner, MN Rabe, C Sánchez
Computer Aided Verification (CAV), 30-48, 2015
1102015
CAQE: A Certifying QBF Solver
MN Rabe, L Tentrup
Formal Methods in Computer-Aided Design (FMCAD), 136-143, 2015
962015
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
742012
Encodings of Bounded Synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2017
592017
Incremental Determinization
MN Rabe, SA Seshia
Theory and Applications of Satisfiability Testing (SAT), 375-392, 2016
502016
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
K Bansal, S Loos, M Rabe, C Szegedy, S Wilcox
International Conference on Machine Learning, 454-463, 2019
47*2019
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
G Lederman, M Rabe, EA Lee, SA Seshia
ICLR, 2020
42*2020
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
MN Rabe, S Schewe
Acta Informatica 48, 291-315, 2011
402011
Graph representations for higher-order logic and theorem proving
A Paliwal, S Loos, M Rabe, K Bansal, C Szegedy
Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2967-2974, 2020
332020
Efficient Approximation of Optimal Control for Continuous-Time Markov Games
J Fearnley, M Rabe, S Schewe, L Zhang
Foundations of Software Technology and Theoretical Computer Science (FSTTCS …, 2011
31*2011
A Temporal Logic Approach to Information-flow Control
MN Rabe
Saarland University, 2016
302016
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games
M Rabe, S Schewe
Theoretical Computer Science, 342-357, 2013
28*2013
Maximum Model Counting
DJ Fremont, MN Rabe, SA Seshia
AAAI, 3885-3892, 2017
242017
Efficient Approximation of Optimal Control for Markov Games
J Fearnley, M Rabe, S Schewe, L Zhang
31st IARCS Annual Conference on Foundations of Software Technology and …, 2011
21*2011
Understanding and Extending Incremental Determinization for 2QBF
MN Rabe, L Tentrup, C Rasmussen, SA Seshia
Computer Aided Verification (CAV), 256-274, 2018
192018
Verification of Partial-information Probabilistic Systems using Counterexample-guided Refinements
S Giro, MN Rabe
Automated Technology for Verification and Analysis (ATVA), 333-348, 2012
172012
A Resolution-Style Proof System for DQBF
MN Rabe
Theory and Applications of Satisfiability Testing (SAT), 314-325, 2017
132017
Clausal abstraction for DQBF
L Tentrup, MN Rabe
International Conference on Theory and Applications of Satisfiability …, 2019
122019
HOList: An environment for machine learning of higher-order theorem proving (extended version)
K Bansal, SM Loos, MN Rabe, C Szegedy, S Wilcox
arXiv preprint arXiv:1904.03241, 2019
122019
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20