1157 search results - page 9 / 232 » Descriptive Complexity and Model Checking |
ICLP
1997
Springer
15 years 1 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
15 years 2 months ago
2004
Springer
ERSHOV
2003
Springer
15 years 2 months 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
15 years 2 months ago
2001
Springer
KR
1998
Springer
15 years 1 months ago
1998
Springer
