292 search results - page 5 / 59 » Model-checking agent refinement |
132
Voted
PROMAS
2007
Springer
15 years 12 months ago
2007
Springer
171
Voted
CAV
1998
Springer
15 years 10 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
153
Voted
AAMAS
2006
Springer
15 years 5 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...
156
Voted
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
163
click to vote
CLIMA
2008
15 years 7 months ago
2008
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...