23 search results - page 5 / 5 » Expressing and Verifying Temporal and Structural Properties ... |
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
CONCUR
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...