Dr. Markus N. Rabe

While being a member of this group or in collaboration with us.

• Neural Circuit Synthesis from Specification Patterns
  Frederik Schmitt, Christopher Hahn, Markus N. Rabe and Bernd Finkbeiner · NeurIPS 2021
• Deep Learning for Temporal Logics
  Frederik Schmitt, Christopher Hahn, Jens Kreber, Markus N. Rabe and Bernd Finkbeiner · AITP 2021
• Teaching Temporal Logics to Neural Networks
  Christopher Hahn, Frederik Schmitt, Jens Kreber, Markus N. Rabe and Bernd Finkbeiner · ICLR 2021
• Transformers Generalize to the Semantics of Logics
  Christopher Hahn, Frederik Schmitt, Jens Kreber, Markus N. Rabe and Bernd Finkbeiner · arxiv preprint
• Clausal Abstraction for DQBF
  Leander Tentrup and Markus N. Rabe · SAT 2019
• Clausal Abstraction for DQBF (full version)
  Leander Tentrup and Markus N. Rabe · arXiv
• Understanding and Extending Incremental Determinization for 2QBF
  Markus N. Rabe, Leander Tentrup, Cameron Rasmussen and Sanjit A. Seshia · CAV 2018
• Encodings of Bounded Synthesis
  Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe and Leander Tentrup · TACAS 2017
• CAQE: A Certifying QBF Solver
  Markus N. Rabe and Leander Tentrup · FMCAD 2015
• Algorithms for Model Checking HyperLTL and HyperCTL*
  Bernd Finkbeiner, Markus N. Rabe and César Sánchez · CAV 2015
• The Linear-Hyper-Branching Spectrum of Temporal Logics
  Bernd Finkbeiner and Markus N. Rabe · it
• Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains
  Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov and Youssef Hamadi · QEST 2014
• A shallow embedding of HyperCTL*
  Markus N. Rabe, Peter Lammich and Andrei Popescu · AFP
• Temporal Logics for Hyperproperties
  Michael Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe and César Sánchez · POST14
• A Temporal Logic for Hyperproperties
  Bernd Finkbeiner, Markus N. Rabe and César Sánchez · arXiv
• Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games
  Markus N. Rabe and Sven Schewe · TCS
• Monitoring Temporal Information Flow
  Rayna Dimitrova, Bernd Finkbeiner and Markus N. Rabe · ISoLA 2012
• Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements
  Sergio Giro and Markus N. Rabe · ATVA 2012
• Model Checking Information Flow in Reactive Systems
  Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe and Helmut Seidl · VMCAI 2012 · RS3 Best Paper Award 2011/2012
• Efficient Approximation of Optimal Control for Continuous-Time Markov Games
  John Fearnley, Markus N. Rabe, Sven Schewe and Lijun Zhang · FSTTCS 2011
• Finite Optimal Control for Time-bounded Reachability in CTMDPs and Continuous-time Markov Games
  Markus N. Rabe and Sven Schewe · Acta Informatica
• Efficient Approximation of Optimal Control for Markov Games - early arXiv version
  Markus N. Rabe, Sven Schewe and Lijun Zhang · arXiv/CoRR: 1011.0397
• Optimal Time-Abstract Schedulers for CTMDPs and Markov Games
  Markus N. Rabe and Sven Schewe · QAPL, 2010
• Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games
  Markus N. Rabe and Sven Schewe · arXiv/CoRR: 1004.4005

While being a member of this group or in collaboration with us.

• A Temporal Logic Approach to Information-flow Control
  Markus N. Rabe · UdS