Björn Wachter

Available identifiers

zbMath Open wachter.bjornMaRDI QIDQ627127

List of research outcomes

Publication	Date of Publication	Type
Stability and Complexity of Minimising Probabilistic Automata	2014-07-01	Paper
Algorithmic probabilistic game semantics. Playing games with automata	2014-06-30	Paper
On the Complexity of Equivalence and Minimisation for Q-weighted Automata	2013-04-09	Paper
Three tokens in Herman's algorithm	2013-03-22	Paper
Variable probabilistic abstraction refinement	2012-11-21	Paper
On the Complexity of the Equivalence Problem for Probabilistic Automata	2012-06-22	Paper
Probabilistic logical characterization	2011-02-21	Paper
Time-bounded model checking of infinite-state continuous-time Markov chains	2010-02-05	Paper
Best probabilistic transformers	2010-01-14	Paper
Probabilistic CEGAR	2008-07-15	Paper
Abstract Interpretation with Applications to Timing Validation	2008-07-15	Paper
The Spotlight Principle	2008-04-04	Paper

Research outcomes over time

This page was built for person: Björn Wachter