7167 search results - page 41 / 1434 » A Technique for Invariant Generation |
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
ITS
2004
Springer
15 years 7 months ago
2004
Springer
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
DCC
1992
IEEE
15 years 6 months ago
1992
IEEE
AAAI
2006
15 years 3 months ago
2006
Planning under uncertainty has been well studied, but usually the uncertainty is in action outcomes. This work instead investigates uncertainty in the amount of time that actions ...