17 search results - page 1 / 4 » ershov 2003 |
140
Voted
ERSHOV
2003
Springer
16 years 19 days ago
2003
Springer
141
Voted
ERSHOV
2003
Springer
16 years 19 days ago
2003
Springer
149
Voted
ERSHOV
2003
Springer
16 years 19 days ago
2003
Springer
181
Voted
ERSHOV
2003
Springer
16 years 19 days ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.