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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ralf Wimmer