M
Markus N. Rabe
Researcher at Google
Publications - 59
Citations - 1779
Markus N. Rabe is an academic researcher from Google. The author has contributed to research in topics: Markov decision process & Automated theorem proving. The author has an hindex of 17, co-authored 54 publications receiving 1335 citations. Previous affiliations of Markus N. Rabe include University of California, Berkeley & University of California.
Papers
More filters
Book ChapterDOI
Temporal Logics for Hyperproperties
Michael R. Clarkson,Bernd Finkbeiner,Masoud Koleini,Kristopher K. Micinski,Markus N. Rabe,César Sánchez +5 more
TL;DR: It is shown that the quantification over paths naturally subsumes other extensions of temporal Logic with operators for information flow and knowledge, and the model checking problem for temporal logic with path quantification is decidable.
Posted Content
A Temporal Logic for Hyperproperties
TL;DR: In this article, an extension of temporal logic with explicit path variables is investigated, and it is shown that the quantification over paths naturally subsumes other extensions of temporal logics with operators for information flow and knowledge.
Book ChapterDOI
Algorithms for Model Checking HyperLTL and HyperCTL
TL;DR: An automata-based algorithm for checking finite state systems for hyperproperties specified in HyperLTL and HyperCTL, and it is demonstrated that the approach enables the verification of real hardware designs for properties that could not be checked before.
Proceedings ArticleDOI
CAQE: A Certifying QBF Solver
Markus N. Rabe,Leander Tentrup +1 more
TL;DR: A new CEGAR-based algorithm for QBF is presented that builds on a decomposition of QBFs into a sequence of propositional formulas, which is called the clausal abstraction, which leads to a simpler notion of refinement compared to earlier approaches.