The following pages link to Ralf Wimmer (Q402121):
Displaying 10 items.
- Minimal counterexamples for linear-time probabilistic verification (Q402125) (← links)
- From DQBF to QBF by dependency elimination (Q1680263) (← links)
- Skolem functions for DQBF (Q1990517) (← links)
- Solving dependency quantified Boolean formulas using quantifier localization (Q2148900) (← links)
- Cost vs. time in stochastic games and Markov automata (Q2403526) (← links)
- Dependency Schemes for DQBF (Q2818034) (← links)
- Minimal Critical Subsystems for Discrete-Time Markov Models (Q2894278) (← links)
- Hierarchical Counterexamples for Discrete-Time Markov Chains (Q3172933) (← links)
- Long-Run Rewards for Markov Automata (Q3303930) (← links)
- A Computational Perspective of the Role of the Thalamus in Cognition (Q5214351) (← links)
