Preface
A Negotiation Meta Strategy Combining Trade-off and Concession Moves
TRAVOS
Coordinating Self-interested Planning Agents
A Multiagent System for the Reliable Execution of Automatically Composed Ad-hoc Processes
Verifying Multi-agent Programs by Model Checking