Sciweavers

49
Voted
FMCAD
2009
Springer
15 years 3 months ago
Synthesizing robust systems
—Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environmen...
Roderick Bloem, Karin Greimel, Thomas A. Henzinger...