The following pages link to Björn Wachter (Q627127):
Displayed 12 items.
- Probabilistic logical characterization (Q627128) (← links)
- Three tokens in Herman's algorithm (Q1941880) (← links)
- Algorithmic probabilistic game semantics. Playing games with automata (Q2248076) (← links)
- On the Complexity of the Equivalence Problem for Probabilistic Automata (Q2892790) (← links)
- Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains (Q3400550) (← links)
- Abstract Interpretation with Applications to Timing Validation (Q3512479) (← links)
- Probabilistic CEGAR (Q3512491) (← links)
- Best Probabilistic Transformers (Q3656896) (← links)
- Variable Probabilistic Abstraction Refinement (Q4649305) (← links)
- On the Complexity of Equivalence and Minimisation for Q-weighted Automata (Q4913771) (← links)
- Stability and Complexity of Minimising Probabilistic Automata (Q5167844) (← links)
- The Spotlight Principle (Q5452606) (← links)