Sciweavers

75
Voted
ATVA
2006
Springer
112views Hardware» more  ATVA 2006»
15 years 17 days 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