Sciweavers

163 search results - page 15 / 33
» An Introduction to Probabilistic Automata
Sort
View
FSTTCS
2007
Springer
15 years 10 months ago
Probabilistic and Topological Semantics for Timed Automata
Christel Baier, Nathalie Bertrand, Patricia Bouyer...
SSPR
2004
Springer
15 years 9 months ago
Improving Probabilistic Automata Learning with Additional Knowledge
Christopher Kermorvant, Colin de la Higuera, Pierr...
ICALP
2003
Springer
15 years 9 months ago
A Testing Scenario for Probabilistic Automata
Mariëlle Stoelinga, Frits W. Vaandrager