Ralf Wimmer

Available identifiers

zbMath Open wimmer.ralf-dMaRDI QIDQ402121

List of research outcomes

Publication	Date of Publication	Type
Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications	2023-04-20	Paper
Solving dependency quantified Boolean formulas using quantifier localization	2022-06-24	Paper
The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1	2021-12-09	Paper
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions	2021-05-28	Paper
Long-Run Rewards for Markov Automata	2020-08-05	Paper
A Computational Perspective of the Role of the Thalamus in Cognition	2020-02-07	Paper
Skolem functions for DQBF	2018-10-25	Paper
From DQBF to QBF by dependency elimination	2017-11-15	Paper
Cost vs. time in stochastic games and Markov automata	2017-09-08	Paper
Cost vs. Time in Stochastic Games and Markov Automata	2017-08-31	Paper
Dependency Schemes for DQBF	2016-09-05	Paper
Fast Debugging of PRISM Models	2015-12-17	Paper
Preprocessing for DQBF	2015-11-20	Paper
High-level Counterexamples for Probabilistic Automata	2015-04-22	Paper
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey	2015-02-25	Paper
Abstraction-Based Computation of Reward Measures for Markov Automata	2015-02-04	Paper
Minimal counterexamples for linear-time probabilistic verification	2014-08-27	Paper
Minimal Critical Subsystems for Discrete-Time Markov Models	2012-06-29	Paper
Hierarchical Counterexamples for Discrete-Time Markov Chains	2011-10-07	Paper
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking	2009-02-10	Paper
https://portal.mardi4nfdi.de/entity/Q3528912	2008-10-17	Paper
Sigref – A Symbolic Bisimulation Tool Box	2008-09-04	Paper
Experimental and Efficient Algorithms	2005-11-30	Paper

Research outcomes over time

This page was built for person: Ralf Wimmer