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 implementation	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
The demand for reliability in probabilistic verification	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