5216 search results - page 23 / 1044 » Planning as Model Checking |
IJCAI
1989
14 years 2 days ago
1989
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
ASPDAC
2006
ACM
14 years 4 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
TACAS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...