264 search results - page 5 / 53 » Verifying Dribble Agents |
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
CCECE
2006
IEEE
14 years 5 months ago
2006
IEEE
ECAI
2006
Springer
14 years 2 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
CEEMAS
2007
Springer
14 years 5 months ago
2007
Springer
Future agent mediated eCommerce will involve open systems of agents interoperating between different institutions, where different auction protocols may be in use. We argue that i...
ATAL
2008
Springer
14 years 26 days ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...