Ralf Wimmer

Identifiers

• name variant Ralf Wimmer 0.60 · backfill

Papers (8)

1. Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks cs.AI · 2019 · author #3
2. Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes cs.AI · 2018 · author #3
3. Permissive Finite-State Controllers of POMDPs using Parameter Synthesis cs.LO · 2017 · author #3
4. Strategy Synthesis in POMDPs via Game-Based Abstractions cs.RO · 2017 · author #3
5. MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata cs.LO · 2014 · author #4
6. Accelerating Parametric Probabilistic Verification cs.SE · 2013 · author #4
7. Transient Reward Approximation for Continuous-Time Markov Chains cs.LO · 2012 · author #3
8. The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains cs.SE · 2012 · author #6

Mentions

• 1212.1251 #3 · backfill · confidence 0.70 Ralf Wimmer
• 1206.0603 #6 · backfill · confidence 0.70 Ralf Wimmer

Frequent Coauthors

• Bernd Becker 7 shared papers
• Nils Jansen 6 shared papers
• Joost-Pieter Katoen 4 shared papers
• Ufuk Topcu 3 shared papers
• Erika \'Abrah\'am 2 shared papers
• Holger Hermanns 2 shared papers
• Leonore Winterer 2 shared papers
• Matthias Volk 2 shared papers
• Sebastian Junges 2 shared papers
• Steven Carr 2 shared papers
• Alexandru C. Serban 1 shared papers
• Andreas Vorpahl 1 shared papers
• Bettina Braitling 1 shared papers
• Ernst Moritz Hahn 1 shared papers
• Florian Corzilius 1 shared papers
• Hassan Hatefi 1 shared papers
• Jie Fu 1 shared papers
• Luis Mar\'ia Ferrer Fioriti 1 shared papers
• Maik Scheffler 1 shared papers
• Tim Quatmann 1 shared papers