1157 search results - page 9 / 232 » Descriptive Complexity and Model Checking |
ICLP
1997
Springer
13 years 11 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
VMCAI
2004
Springer
14 years 25 days ago
2004
Springer
ERSHOV
2003
Springer
14 years 21 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.
FOSSACS
2001
Springer
13 years 12 months ago
2001
Springer
KR
1998
Springer
13 years 11 months ago
1998
Springer
