Sciweavers

ATVA
2006
Springer
112views Hardware» more  ATVA 2006»
13 years 7 months ago
Synthesis for Probabilistic Environments
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
Sven Schewe