Francesco Russo

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Alessio Lomuscio, Hongyang Qu, Francesco Russo
Automatic Data-Abstraction in Model Checking Multi-Agent Systems. MoChArt (2010)
Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo
Abstraction in model checking multi-agent systems. AAMAS (2) (2009)