Sciweavers

Share
4 search results - page 1 / 1
» clima 2008
Sort
View
CLIMA
2008
8 years 4 months ago
Bounded-Resource Reasoning as (Strong or Classical) Planning
Alexandre Albore, Natasha Alechina, Piergiorgio Be...
CLIMA
2008
8 years 4 months ago
Easy Yet Hard: Model Checking Strategies of Agents
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...
Wojciech Jamroga
CLIMA
2008
8 years 4 months ago
Verifying Agents' Conformance with Multiparty Protocols
The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles,...
Laura Giordano, Alberto Martelli
books