VAS has had 3 papers accepted at ECAI!!! See our publications’ page for details!
Prof. Lomuscio is co-chairing the the 4th International Workshop on Strategic Reasoning Workshop of LICS (SR 2016) , which this year is held in New York.
Dr. Boureanu has been an invited speaker at an event showcasing research on FinTech across the faculties of Imperial College London.
More details can be found here!
J. Ezekiel and A. Lomuscio have their paper “Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems” accepted in the international journal Information and Computation.
Our group has a collection of four paper to present at the 15th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS16):
- P. Kouvaros and A. Lomuscio. “Formal Verification of Opinion Formation in Swarms”
- I. Boureanu, P. Kouvaros and A. Lomuscio. “Verifying Security Properties in Unbounded Multiagent Systems”
- A. Lomuscio and J. Michaliszyn. “Verification of Multi-Agent Systems via Predicate Abstraction against ATLK specifications”
- F. Belardinelli, H. van Ditmarsch, and W. van der Hoek. “Second-order Propositional Announcement Logic”
P. Kouvaros and A. Lomuscio have their paper “Parameterised Verification for Multi-Agent Systems” accepted in the journal Artificial Intelligence.
A. Lomuscio and J. Michaliszyn have their paper “Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions” accepted to the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR16)!
Dr. Belardinelli has re-joined VAS! Welcome, Dr. Belardinelli!
Panagiotis Kouvaros has successfully defended his PhD! Congratulations to him! One more PhD graduating in VAS!
Alessio Lomuscio presented the paper entitled “Verification of GSM-based
Artifact-centric Systems by Predicate Abstraction” at the
13th International Conference on Service Oriented Computing (ICSOC15) in
Goa, India. This is joint work with VAS’s former members: P. Gonzalez and A. Griesmayer.