Ruediger Ehlers
Identifiers
- name variant Ruediger Ehlers 0.60 · backfill
Papers (10)
- Symmetric Synthesis cs.LO · 2017 · author #1
- Safe Reinforcement Learning via Shielding cs.LO · 2017 · author #3
- Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks cs.LO · 2017 · author #1
- Risk-Averse $\omega$-regular Markov Decision Process Control cs.SY · 2016 · author #1
- Computing the Complete Pareto Front cs.DS · 2015 · author #1
- Cooperative Reactive Synthesis cs.LO · 2015 · author #2
- Correct-by-synthesis reinforcement learning with temporal logic constraints cs.LO · 2015 · author #2
- Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control cs.RO · 2014 · author #2
- Small witnesses, accepting lassos and winning strategies in omega-automata and games cs.LO · 2011 · author #1
- Generalised Rabin(1) synthesis cs.LO · 2010 · author #1
Mentions
Frequent Coauthors
- Ufuk Topcu 3 shared papers
- Roderick Bloem 2 shared papers
- Ayca Balkan 1 shared papers
- Bernd Finkbeiner 1 shared papers
- Bettina K\"onighofer 1 shared papers
- Hadas Kress-Gazit 1 shared papers
- Jonathan A. DeCastro 1 shared papers
- Matthias Rungger 1 shared papers
- Min Wen 1 shared papers
- Mohammed Alshiekh 1 shared papers
- Paulo Tabuada 1 shared papers
- Robert Koenighofer 1 shared papers
- Salar Moarref 1 shared papers
- Scott Niekum 1 shared papers