Imperial College London


Faculty of EngineeringDepartment of Computing

Professor of Safe Artificial Intelligence



+44 (0)20 7594 8414a.lomuscio Website




569Huxley BuildingSouth Kensington Campus




Selected Publications

Journal Articles

Čermák P, Lomuscio A, Mogavero F, et al., 2018, Practical verification of multi-agent systems against Slk specifications, Information and Computation, Vol:261, ISSN:0890-5401, Pages:588-614

Lomuscio AR, kouvaros, 2016, Parameterised verification for multi-agent systems, Artificial Intelligence, Vol:234, ISSN:1872-7921, Pages:152-189

Lomuscio A, Qu H, Solanki M, 2012, Towards verifying contract regulated service composition, Autonomous Agents and Multi-Agent Systems, Vol:24, ISSN:1387-2532, Pages:345-373

Belardinelli F, Lomuscio A, 2012, Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results, Journal of Artificial Intelligence Research, Vol:45, Pages:1-45

Belardinelli F, Lomuscio A, 2009, Quantified Epistemic Logics for Reasoning About Knowledge in Multi-Agent Systems, Artificial Intelligence, Vol:173, Pages:982-1013


Akintunde M, Kevorchian A, Lomuscio A, et al., 2019, Verification of RNN-based neural agent-environment systems, 33rd AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, ISSN:2159-5399

Lomuscio AR, Cermak P, Murano A, Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications, Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI15), AAAI Press, Pages:2038-2044

Lomuscio, A R, Penczek, et al., 2007, Bounded Model Checking for Knowledge and Real Time, roceedings of the 4th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'05), Elsevier

More Publications