News

Federico in Prague

Federico visits the Agent Technology Center at the Department of Cybernetics at the Czech Technical University to meet with Peter Novak.

Oberseminar

Next Thursday, 24.02.2011, at 1:30pm Michael will give a talk on "Abstraction for Model Checking Modular Interpreted Systems over ATL". The seminar takes place in room R210, Am Regenbogen 15.

Abstract:

I present an abstraction technique for model checking multi-agent systems given as modular interpreted systems (MIS). MIS allow for succinct representations of compositional systems, they permit agents to be removed, added or replaced and they are modular by facilitating control over the amount of interaction. Specifications are given as arbitrary ATL formulae: One can therefore reason about strategic abilities of groups of agents.

The technique is based on collapsing each agent's local state space with handcrafted equivalence relations, one per strategic modality. I present a sound model checking algorithm: This makes it possible to perform model checking on abstractions (which are much smaller in size) rather than on the concrete system which is usually too complex, thereby saving…

Sujata Ghosh in Clausthal

Sujata Ghosh from the University of Groningen pays us a visit and gives a talk with the title "Strategic reasoning in extensive form games: a logical study".

Berndt Farwer in Clausthal

Berndt Fartwer visits Clausthal again to give a talk. He talks about "Modern Applications of Agent Technology - Where Mobility and Resources Actually Matter".

IfI-Kolloquium am 09.02.2011, 13 Uhr s.t., Raum 210, Am Regenbogen 15