STSM WG2 (María Emilia García)

Start Date: 2012-03-01

End Date: 2012-04-30

Host Institution: King's College

Host Country: London

Home Institution: TU Valencia

Home Country: Spain


During this visit, I will be under the supervision of Professor Michael Luck.  He is Professor of Computer Science and Head of the Department of Informatics at King’s College London, where he works in the Agents and Intelligent Systems group, undertaking research into agent technologies and intelligent systems.
The main purpose of this visit is to interchange knowledge and techniques for the analysis, design, formalization and verification of Regulated Open Multiagent Systems. Thus, during this visit an analysis of techniques and methods for developing Regulated Open Multiagent Systems will be done. After that, a tool for developing and verifying at design time systems of this kind will be designed and implemented.  Finally, future collaborations  on this research topic will be stablished.