Sciweavers

41938 search results - page 291 / 8388
» Complex Systems Modeling
Sort
View
ERSHOV
2003
Springer
15 years 11 months ago
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
Henrik Björklund, Sven Sandberg, Sergei G. Vo...
FOSSACS
2001
Springer
15 years 11 months ago
The Complexity of Model Checking Mobile Ambients
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Go...