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
Conference
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