Verifying Agent's Mental States |
Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti ; F. Giunchiglia |
Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz ; W. Penczek ; T. Nowak |
Verification within the KARO Agent Theory / U. Hustadt ; C. Dixon ; R.A. Schmidt ; M. Fisher ; J.-J.C. Meyer ; W. van der Hoek |
Synthesizing Agents Initially |
On Formal Modeling of Agent Computations / T. Araragi ; P. Attie ; I. Keidar ; K. Kogure ; V. Luchangco ; N. Lynch ; K. Mano |
Modeling and Programming Devices and Web Agents / S.A. McIlraith |
A Programming Logic for Part of the Agent Language 3APL / K.V. Hindriks ; F.S. de Boer |
Frameworks and Formalization / Y. Kawabe |
From Livingstone to SMV (Formal Verification for Autonomous Spacecrafts) / C. Pecheur ; R. Simmons |
Verification of Plan Models Using UPPAAL / L. Khatib ; N. Muscettola ; K. Havelund |
Formalization of a Spatialized Multiagent Model Using Coloured à Petri Nets for the Study of an Hunting Management System / I. Bakam ; F. Kordon ; C. Le Page ; F. Bousquet |
Formal Agent Development: Framework to System / M. d'Inverno ; M. Luck |
Modeling and Execution |
Automatic Synthesis of Agent Designs in UML / J. Schumann ; J. Whittle |
Direct Execution of Agent Specifications |
Using the ?-Calculus to Model Multiagent Systems / A.C. Esterline ; T. Rorie |
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude / J. Van Baalen ; J.L. Caldwell ; S. Mishra |
Inter-agent Communication |
Agents Talking Faster / T. Menzies ; B. Cukic ; H. Singh |
Refining Interactions in a Distributed System / N. Soundarajan |
Design and Mathematical Analysis of Agent-Based Systems / K. Lerman |
Modeling Task and Teams through Game Theoretical Agents / M. Rudnianski ; H. Bestougeff |
Web Agents Cooperating Deductively / R. Waldinger |
Adaptive Agents |
Formal Specification of Agent Behaviour through Environment Scenarios / H. Zhu |
APT Agents: Agents That Are Adaptive, Predictable, and Timely / D.F. Gordon |
Posters |
Ontology Negotiation in a Community of Agents / S.C. Bailin |
Analysis of Agent-Based Systems Using Decision Procedures / R. Bharadwaj |
A Formal Approach to Belief-Goal-Role Agents / W. Chainbi |
Model Checking of Autonomy Models for an In-Situ Propellant Production System / P. Engrand |
Adaptive Supervisory Control of Multi-agent Systems / K. Kiriakidis |
Machine-Learning for Logic-Based Multi-agent Systems / E. Alonso ; D. Kudenko |
Using a Formal Framework for Agent System Design / V. Carchiolo ; M. Malgeri ; G. Mangioni |
Modeling Agent-Based Systems / S. Mandutianu |
Modeling Agent Systems by Bayesian Belief Networks / Y. Peng |
The Anthropomorphizing of Intelligent Agents / T. Riley |
Controlling Multiple Satellite Constellations Using the TeamAgent System / D.M. Surka ; M.E. Campbell ; T.P. Schetter |
Operations Assistants for Johnson Space Center's Mission Control Center / S.E. Torney |
A Real Time Object-Oriented Rational Agent Development System / L.P. Wesley |
Panel Sessions |
Empirical versus Formal Methods |
Future Directions |
Author Index |
Verifying Agent's Mental States |
Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti ; F. Giunchiglia |
Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz ; W. Penczek ; T. Nowak |
Verification within the KARO Agent Theory / U. Hustadt ; C. Dixon ; R.A. Schmidt ; M. Fisher ; J.-J.C. Meyer ; W. van der Hoek |
Synthesizing Agents Initially |
On Formal Modeling of Agent Computations / T. Araragi ; P. Attie ; I. Keidar ; K. Kogure ; V. Luchangco ; N. Lynch ; K. Mano |