Ralf Wimmer

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 33

Top Topics

Partial Observability

Markov Decision Process

Partially Observable Markov Decision Process

Quantifier Elimination

Top Venues

Publications

Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen
Strong Simple Policies for POMDPs. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Ralf Wimmer, Ming-Yi Hu
Using Unit Propagation with Universal Reduction in DQBF Preprocessing. CoRR (2023)
Wolfgang Ecker, Peer Adelt, Wolfgang Müller, Reinhold Heckmann, Milos Krstic, Vladimir Herdt, Rolf Drechsler, Gerhard Angst, Ralf Wimmer, Andreas Mauderer, Rafael Stahl, Karsten Emrich, Daniel Mueller-Gritschneder, Bernd Becker, Philipp Scholl, Eyck Jentzsch, Jan Schlamelcher, Kim Grüttner, Paul Palomero Bernardo, Oliver Bringmann, Mihaela Damian, Julian Oppermann, Andreas Koch, Jörg Bormann, Johannes Partzsch, Christian Mayr, Wolfgang Kunz
The Scale4Edge RISC-V Ecosystem. DATE (2022)
Ming Hu, Leonore Winterer, Ralf Wimmer
Diagnosing Partially Observable Markov Decision Processes. MBMV (2022)
Aile Ge-Ernst, Christoph Scholl, Juraj Síc, Ralf Wimmer
Solving dependency quantified Boolean formulas using quantifier localization. Theor. Comput. Sci. 925 (2022)
Pascal Pieper, Ralf Wimmer, Gerhard Angst, Rolf Drechsler
Minimally Invasive HW/SW Co-debug Live Visualization on Architecture Level. ACM Great Lakes Symposium on VLSI (2021)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Autom. Control. 66 (3) (2021)
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
Strengthening Deterministic Policies for POMDPs. NFM (2020)
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
Strengthening Deterministic Policies for POMDPs. CoRR (2020)
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
Correct-by-construction policies for POMDPs. SNR (2019)
Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
Quantifier Localization for DQBF. CoRR (2019)
Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. AAAI (2019)
Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
Localizing Quantifiers for DQBF. FMCAD (2019)
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. CoRR (2019)
Ralf Wimmer, Christoph Scholl, Bernd Becker
The (D)QBF Preprocessor HQSpre - Underlying Theory and Its Implementation. J. Satisf. Boolean Model. Comput. 11 (1) (2019)
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. IJCAI (2019)
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. ACC (2018)
Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Markov Automata on Discount! MMB (2018)
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
Finite-State Controllers of POMDPs using Parameter Synthesis. UAI (2018)
Christoph Scholl, Ralf Wimmer
Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract. SAT (2018)
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. CoRR (2018)
Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
From DQBF to QBF by Dependency Elimination. MBMV (2018)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. MBMV (2018)
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. CoRR (2017)
Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker
HQSpre - An Effective Preprocessor for QBF and DQBF. TACAS (1) (2017)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Motion planning under partial observability using game-based abstraction. CDC (2017)
Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns
Cost vs. time in stochastic games and Markov automata. Formal Aspects Comput. 29 (4) (2017)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Motion Planning under Partial Observability using Game-Based Abstraction. CoRR (2017)
Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
From DQBF to QBF by Dependency Elimination. SAT (2017)
Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Long-Run Rewards for Markov Automata. TACAS (2) (2017)
Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
Skolem Functions for DQBF. ATVA (2016)
Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker
Dependency Schemes for DQBF. SAT (2016)
Ralf Wimmer
Vorwort. MBMV (2016)
Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Counterexamples for Expected Rewards. FM (2015)
Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer
Modeling Unknown Values in Test and Verification. SyDe Summer School (2015)
Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
Solving DQBF through quantifier elimination. DATE (2015)
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
Abstraction-Based Computation of Reward Measures for Markov Automata. VMCAI (2015)
Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker
Towards Verification of Artificial Neural Networks. MBMV (2015)
Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker
Cost vs. Time in Stochastic Games and Markov Automata. SETTA (2015)
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
High-level Counterexamples for Probabilistic Automata Log. Methods Comput. Sci. 11 (1) (2015)
Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
Preprocessing for DQBF. SAT (2015)
Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
Transient Reward Approximation for Continuous-Time Markov Chains. IEEE Trans. Reliab. 64 (4) (2015)
Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. SFM (2014)
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. QAPL (2014)
Ralf Wimmer, Erika Ábrahám
Maybe or Maybe Not: Contributions to Stochastic Verification. Aspekte der Technischen Informatik (2014)
Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
Fast Debugging of PRISM Models. ATVA (2014)
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Minimal counterexamples for linear-time probabilistic verification. Theor. Comput. Sci. 549 (2014)
Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster
Symbolic counterexample generation for large discrete-time Markov chains. Sci. Comput. Program. 91 (2014)
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Accelerating Parametric Probabilistic Verification. QEST (2014)
Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
Equivalence checking of partial designs using dependency quantified Boolean formulae. ICCD (2013)
Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
Equivalence Checking for Partial Implementations Revisited. MBMV (2013)
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
High-Level Counterexamples for Probabilistic Automata. QEST (2013)
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Accelerating Parametric Probabilistic Verification. CoRR (2013)
Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám
Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. MBMV (2013)
Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. MBMV (2012)
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen
Minimal Critical Subsystems for Discrete-Time Markov Models. TACAS (2012)
Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains CoRR (2012)
Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
Transient Reward Approximation for Grids, Crowds, and Viruses CoRR (2012)
Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker
Symbolic Counterexample Generation for Discrete-Time Markov Chains. FACS (2012)
Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
The COMICS Tool - Computing Minimal Counterexamples for DTMCs. ATVA (2012)
Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
Hierarchical Counterexamples for Discrete-Time Markov Chains. ATVA (2011)
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE (2011)
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
SMT-based Counterexample Generation for Markov Chains. MBMV (2011)
Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker
Reachability analysis for incomplete networks of Markov decision processes. MEMOCODE (2011)
Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
Bounded Fairness for Probabilistic Distributed Algorithms. ACSD (2011)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer
A Model Checker for AADL. CAV (2010)
Ralf Wimmer, Salem Derisavi, Holger Hermanns
Symbolic partition refinement with automatic balancing of time and space. Perform. Evaluation 67 (9) (2010)
Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST (2010)
Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
DTMC Model Checking by SCC Reduction. QEST (2010)
Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker
Exploiting Different Strategies for the Parallelization of an SMT Solver. MBMV (2010)
Ralf Wimmer, Bernd Becker
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains. MMB/DFT (2010)
Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
Dependability Engineering of Silent Self-stabilizing Systems. SSS (2009)
Ralf Wimmer, Bettina Braitling, Bernd Becker
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. VMCAI (2009)
Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker
Picoso - A Parallel Interval Constraint Solver. PDPTA (2009)
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker
Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. 35 (2) (2009)
Ralf Wimmer, Salem Derisavi, Holger Hermanns
Symbolic Partition Refinement with Dynamic Balancing of Time and Space. QEST (2008)
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
Probabilistic Model Checking and Reliability of Results. DDECS (2008)
Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
Propositional approximations for bounded model checking of partial circuit designs. ICCD (2008)
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
The Demand for Reliability in Probabilistic Verification. MBMV (2008)
Ralf Wimmer, Marc Herbstritt, Bernd Becker
Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. MBMV (2007)
Ralf Wimmer, Marc Herbstritt, Bernd Becker
Optimization techniques for BDD-based bisimulation computation. ACM Great Lakes Symposium on VLSI (2007)
Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
Sigref- A Symbolic Bisimulation Tool Box. ATVA (2006)
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
Compositional Performability Evaluation for STATEMATE. QEST (2006)
Ralf Wimmer, Marc Herbstritt, Bernd Becker
Minimization of Large State Spaces using Symbolic Branching Bisimulation. DDECS (2006)
Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer
BDDs in a Branch and Cut Framework. WEA (2005)
Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV (2004)