260 search results - page 14 / 52 » Model Checking Agent Dialogues |
PROMAS
2007
Springer
14 years 25 days ago
2007
Springer
AAAI
2004
13 years 8 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
ATAL
2006
Springer
13 years 10 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
CHI
2001
ACM
14 years 7 months ago
2001
ACM
Building trust with users is crucial in a wide range of applications, such as advice-giving or financial transactions, and some minimal degree of trust is required in all applicat...
AAMAS
2006
Springer
13 years 6 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...