M. Hosseini, A. Lomuscio, N. Paoletti. LTL Verification of
Memoryful Neural Agents. Proceedings of the 24th
International Conference on Autonomous Agents and
Multi-agent systems (AAMAS25). Detroit, MI, USA. AAMAS
Press.
P. Kouvaros, B. Brueckner, A. Lomuscio.
Dynamic Back-substitution in
Bound-propagation-based Neural Network Verification.
Proceedings of the 39th AAAI Conference on Artificial
Intelligence (AAAI-25). Philadelphia, PA, USA. AAAI Press.
B. Brueckner, A. Lomuscio. Verification of
Neural Networks against Convolutional Perturbations via
Parameterised Kernels. Proceedings of the 39th AAAI
Conference on Artificial Intelligence (AAAI-25).
Philadelphia, PA, USA. AAAI Press.
A. Lomuscio and E. Pirovano. A Counter Abstraction
Technique for Verifying Properties of Probabilistic Swarm
Systems. Proceedings of the 37th AAAI Conference on
Artificial Intelligence (AAAI23). Washington, DC, USA.
Journal Track.
P. Henriksen, K. Hammernik, D. Rueckert, A. Lomuscio. Bias Field
Robustness Verification of Large Neural Image Classifiers.
Proceedings of the 31st British Machine Vision Conference
(BMVC21).
F. Belardinelli, S. Knight, A. Lomuscio, B. Maubert, N.
Murano, S. Rubin. Reasoning
about agents that may know other agents’ strategies.
Proceedings of the 30th International Joint Conference on
Artificial Intelligence (IJCAI21). Virtual conference.
Ijcai.org.
A. Lomuscio, E. Pirovano.
Verifying Fault-Tolerance in Probabilistic Swarm Systems.
Proceedings of the 29th International Joint Conference on
Artificial Intelligence and the 17th Pacific Rim
International Conference on Artificial Intelligence
(IJCAI-PRICAI20). Yokohama, Japan. AAAI Press.
P. Kouvaros, A. Lomuscio, E. Pirovano, H. Punchihewa. Formal
Verification of Open Multi-Agent Systems. Proceedings
of the 18th International Conference on Autonomous Agents
and Multi-Agent Systems (AAMAS19). Montreal, Canada. IFAAMAS
Press.
M. Akintunde, A. Lomuscio, L. Maganti, E. Pirovano. Reachability Analysis for
Neural Agent-Environment Systems. Proceedings of the
16th International Conference on Principles of Knowledge
Representation and Reasoning (KR18). Tempe, Arizona. AAAI
Press.
F. Belardinelli, A. Lomuscio, N. Murano, S. Rubin. Alternating-time
Temporal Logic on Finite Traces. Proceedings of the
27th International Joint Conference on Artificial
Intelligence and 23rd European Conference on Artificial
Intelligence (IJCAI-ECAI18). Stockholm, Sweden. AAAI Press.
F. Belardinelli, A. Lomuscio, N. Murano. S. Rubin. Decidable
Verification
of Multi-agent Systems with Bounded Private Actions (extended abstract).
Proceedings of the 17th International Conference on
Autonomous Agents and Multi-Agent Systems (AAMAS18).
Stockholm, Sweden. IFAAMAS Press.
2017
P. Kouvaros, A. Lomuscio. Towards the Formal Verification
of Correctness and Robustness of Robot Swarms (Invited
Talk). Proceedings of the 18th Italian Conference on
Theoretical Computer Science and the 32nd Italian Conference
on Computational Logic.
P. Cermak, A. Lomuscio, F. Mogavero, A. Murano. Practical
Verification of Multi-Agent Systems against SLK
Specifications. Information and Computation. To Appear.
P. Kouvaros, A. Lomuscio. Formal Verification of
Opinion Formation in Swarms. Proceedings of the 15th
International Conference on Autonomous Agents and
Multi-Agent Systems (AAMAS16). Singapore. pp 1200-1209.
IFAAMAS Press.
P. Kouvaros, A. Lomuscio. Verifying Emergent
Properties of Swarms. Proceedings of the 24th
Conference on Artificial Intelligence (IJCAI15). Buenos
Aires, Argentina. pp 1083-1089. AAAI Press.
A. Lomuscio, W. Penczek. Model Checking Temporal
Epistemic Logic. Chapter 8 of the Handbook
of Epistemic Logic. H. van Ditmarsch, J. Halpern, W.
van der Hoek, and B. Kooi (eds.). pp 397-441. College
Publications.
A. Lomuscio, J. Michaliszyn. Model Checking Unbounded
Artifact-Centric Systems. Proceedings of the 14th
International Conference on Principles of Knowledge
Representation and Reasoning (KR14). Vienna, Austria. pp
488-497. AAAI Press.
P. Gonzalez, A. Griesmayer, A. Lomuscio. Model checking GSM-based
Multi-Agent systems. Proceedings of the Satellite
Events of the 11th International Conference on Service
Oriented Computing. Lecture Notes in Computer Science, Vol
8377, pp 54-68. Springer. (A previous version of this paper
appeared in the Proceedings of the 9th International
Workshop on Automated Specification and Verification of Wed
Services (WWV13). Florence, Italy.)
A. Lomuscio, J. Michaliszyn. An Epistemic
Halpern-Shoham Logic. Proceedings of the 23rd
International Joint Conference on Artificial Intelligence
(IJCAI13). Beijing, China. pp 1010-1016. AAAI Press.
A. Griesmayer, A. Lomuscio. Model Checking
Distributed Systems against Temporal-Epistemic
Specifications. Proceedings of the IFIP Joint
International Conference on Formal Techniques for
Distributed Systems (FORTE/FMOODS). Florence, Italy. Vol
7892, pp 130-145. Lecture notes in Computer Science.
Springer.
A. Lomuscio, B. Strulo, N. Walker, P. Wu. Assume-Guarantee Reasoning
with Local Specifications. International Journal of
Foundations of Theoretical Computer Science, vol 24(4), pp
419-444. An earlier
version of this paper appeared in the Proceedings of
the 12th International Conference on Formal Engineering
Methods (ICFEM10). Shanghai, China. Lecture Notes in
Computer Science. Vol 6447, pp 204-219. Springer.
P. Gonzalez, A. Griesmayer, A. Lomuscio. Verifying GSM-based Business
Artifacts. Proceedings of the 19th International
Conference on Web Services (ICWS12). Honolulu, USA. pp
25-32. IEEE Press.
A. Lomuscio, W. Penczek. Symbolic Model Checking for
temporal-epistemic logics. Logic Programs, Norms and
Action - Essays in Honor of Marek J. Sergot on the Occasion
of His 60th Birthday. Lecture Notes in Computer Science. Vol
7360, pp 172-195. Springer. 2012. A previous version of this
paper appeared in SIGACT News Logic Column. ACM SIGACT News.
Logic Column. 38(3), pp 76-100. 2007. ACM Press.
S. Barker, A. J. I. Jones, A. C. Kakas, R. A. Kowalski,
A. Lomuscio, R. Miller, S. Muggleton, G. Sartor. The Scientific Contribution
of Marek Sergot. Logic Programs, Norms and Action -
Essays in Honor of Marek J. Sergot on the Occasion of His
60th Birthday. Lecture Notes in Computer Science. Vol 7360,
pp 4-11. Springer. 2012.
F. Belardinelli, P. Gonzalez, A. Lomuscio. Automated Verification of
Quantum Protocols using MCMAS. Proceedings of 10th
Workshop on Quantitative Aspects of Programming Languages
(QAPL12). Tallin, Estonia. Electronic Proceedings in
Theoretical Computer Science. Vol 85, pp 48-62.
A.V. Jones, M. Knapik, A. Lomuscio, W. Penczek. Group Synthesis for
Parametric Temporal-Epistemic Logic. Proceedings of
the 11th International Conference on Autonomous Agents and
Multi-Agent systems (AAMAS12). Valencia, Spain. pp
1107-1114. IFAAMAS Press. Best paper nomination.
F. Belardinelli, A. Lomuscio, F. Patrizi. Verification of Deployed
Artifact Systems via Data Abstraction. Proceedings of
the 9th International Conference on Service Oriented
Computing (ICSOC11). Paphos, Cyprus. Lecture Notes in
Computer Science. Vol 7084, pp 142-156. Springer.
F. Belardinelli, A.V. Jones, A. Lomuscio. Model checking
temporal-epistemic logic using alternating tree automata.
Fundamenta Informaticae. pp 19-37, Vol 112(1). A previous
version of this paper appeared in the proceedings of the
13th International Workshop on Concurrency, Specification
and Programming (CS&P10). Helenenau, Germany.
A. Lomuscio, W. Penczek, M. Solanki, M. Szreter. Runtime monitoring of
contract regulated web services. Fundamenta
Informaticae. pp 339-355, Vol 111(3). A shorter version of this
paper appeared as an extended abstract in the Proceedings of
the 9th International Conference on Autonomous Agents and
Multi-Agent systems (AAMAS10). Toronto, Canada. pp
1149-1150, IFAAMAS Press.
2010
J. Ezekiel, A. Lomuscio. A methodology for
automatic diagnosability analysis. Proceedings of the
12th International Conference on Formal Engineering Methods
(ICFEM10). Shanghai, China. Lecture Notes in Computer
Science. Vol 6447 pp 549-564. Springer.
A. Lomuscio, B. Strulo, N. Walker, P. Wu. Assume-Guarantee
Reasoning with Local Specifications. Proceedings of
the 12th International Conference on Formal Engineering
Methods (ICFEM10). Shanghai, China. Lecture Notes in
Computer Science. Vol 6447 pp 204-219. Springer.
A. V. Jones, A. Lomuscio. Distributed BDD-based BMC for
the Verification of Multi-Agent Systems. Fundamenta
Informaticae. To appear. A shorter version of
this paper appeared in the Proceedings of the 9th
International Conference on Autonomous Agents and
Multi-Agent systems (AAMAS10). Toronto, Canada. pp 675-682,
IFAAMAS Press.
M. Kwiatkowska, A. Lomuscio, H. Qu. Parallel Model
Checking for Temporal Epistemic Logic. Proceedings of
the 19th European Conference on Artificial Intelligence
(ECAI10). Lisbon, Portugal. pp 543-548. IOS Press.
A. Lomuscio, B. Strulo, N. Walker, P. Wu. Model checking
optimisation-based congestion control models.
Fundamenta Informaticae. pp 77-96, Vol 102(1). A preliminary version of
this paper appeared in the Proceedings of the 12th
International Workshop on Concurrency, Specification and
Programming (CS&P09). Krakow, Poland. pp 386-397. Warsaw
University Press.
I. Boureanu, M. Cohen, A. Lomuscio. Model checking
detectability of attacks in multiagent systems.
Proceedings of the 9th International Conference on
Autonomous Agents and Multi-Agent systems (AAMAS10).
Toronto, Canada. pp 691-698, IFAAMAS Press.
2009
I. Boureanu, M. Cohen, A. Lomuscio. A compilation method for
the verification of temporal-epistemic properties of
cryptographic protocols. Journal of Applied
Non-Classical Logics. Vol 19(4), pp 463-487. A preliminary
version of this paper appeared in the informal proceedings
of the Joint International Workshop on Automated Reasoning
for Security Protocols Analysis and Issues in the Theory of
Security (ARSPA-WITS09). York, UK.
M. Cohen, M. Dam, A. Lomuscio, H. Qu. A data symmetry reduction
technique for temporal-epistemic logic. Proceedings of
the 7th International Symposium on Automated Technology for
Verification and Analysis (ATVA09). Macao, SAR. China.
Lecture Notes in Computer Science. Vol 5799 pp 69-83.
Springer.
A. Lomuscio, H. Qu, F. Raimondi MCMAS: A model checker for
the verification of multi-agent systems. Proceedings
of the 21th International Conference on Computer Aided
Verification (CAV09). Grenoble, France. Lecture Notes in
Computer Science. Vol 5643 pp 682-688. Springer.
A. Lomuscio, M. Solanki. Mapping OWL-S processes
to multi agent systems: A verification oriented approach.
Proceedings of the 6th European Semantic Web Conference
(ESWC 2009). Lecture notes in Computer Science. Vol 5554 pp
578-592. Springer. (A previous version of this paper
appeared in the Proceedings of the 4th International IEEE
Workshop on Service Oriented Architectures in Converging
Networked Environments (IEEE Press)).
M. Cohen, M. Dam, A. Lomuscio, F. Russo Abstraction in model
checking multi-agent systems . Proceedings of the 8th
International Conference on Autonomous Agents and
Multi-Agent systems (AAMAS09). Budapest, Hungary. pp
945-952. IFAAMAS Press.
F. Belardinelli, A. Lomuscio. A complete quantified
temporal epistemic logic. Proceedings of the 11th
International Conference on Principles of Knowledge
Representation and Reasoning (KR08). Sydney, Australia. pp
705-714. AAAI Press.
A. Lomuscio, W. Penczek. Model checking security
protocols: a multiagent systems approach. Proceedings
of the 10th International Workshop on Concurrency,
Specification and Programming (CS&P07), pp 400-412.
Warsaw University Press. An earlier version of this paper
appeared as technical Report 1000. Polish Academia of
Sciences. Warsaw.
A. Lomuscio, H. Qu, M. Sergot, M. Solanki. Verifying Temporal
Epistemic properties of Web service compositions.
Proceedings of the 5th International Conference on Service
Oriented Computing (ICSOC07). Vienna, Austria. Lecture Notes
in Computer Science. Vol 4749, pp 456-461. Springer.
F. Belardinelli, A. Lomuscio. Quantified epistemic
logics with flexible terms. A Meeting of the Minds:
Proceedings of the Workshop on Logic, Rationality and
Interaction. Beijing, China. J. van Benthem, S. Ju and F.
Veltman editors. College Publications.
S. Edelkamp, A. Lomuscio (editors). Proceedings
of MoChartIV: 4th International Workshop on Model
Checking and Artificial Intelligence. Springer LNCS Volume
4428.
A. Lomuscio, B. Wozna. A temporal epistemic
logic with a reset operation. Proceedings of the 6th
International Conference on Autonomous Agents and
Multi-Agent systems (AAMAS07). Honolulu, USA. IFAAMAS
Press.
A. Lomuscio, C. Pecheur, F. Raimondi. Verification of knowledge and
time with NuSMV. Proceedings of the 20th International
Conference on Artificial Intelligence (IJCAI07),
Hyderabadad, India.
A. Lomuscio, F. Raimondi, B. Wozna. Verification of the
TESLA protocol with MCMAS-X. Proceedings of CS&P,
International Workshop on Concurrency, Specification and
Programming. Wandlitz, Germany, September 2006. Humboldt
University.
W. van der Hoek, A. Lomuscio, E. de Vink, M. Wooldridge
editors.
Proceedings of LCMAS3, Workshop on Logic and
Communication in Multi-Agent Systems. Electronic lecture
notes in Theoretical Computer Science. Volume
157:4. Elsevier.
A. Lomuscio, F. Raimondi. MCMAS:
a tool for verifying multi-agent systems. Proceedings
of the 12th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems (TACAS06).
Vienna, Austria. Springer LNCS Vol 3920, pp 450-454.
W. van der Hoek, A. Lomuscio, E. de Vink, M. Wooldridge
editors.
Proceedings of LCMAS2, Workshop on Logic and
Communication in Multi-Agent Systems. Electronic lecture
notes in Theoretical Computer Science. Volume
126.
F. Raimondi, A. Lomuscio. The complexity of symbolic
model checking temporal-epistemic logics. Proceedings of
CS&P, International Workshop on Concurrency,
Specification and Programming. Ruciane, Poland. pp 421-432,
Warsaw University Press.
B. Wozna, A. Lomuscio and W.Penczek. Bounded Model Checking for
Knowledge and Real Time. Proceedings of the 4th
International Joint Conference on Autonomous Agents and
Multi Agent Systems (AAMAS'05). ACM Press.
A. Lomuscio, D. Nute (editors). Deontic
Logic in Computer Science. Special issue of the
Journal of Applied Logic. Volume 3, Issues 3-4. Elsevier.
B. Wozna, A. Lomuscio, W. Penczek. Bounded model checking
for knowledge over real time. Proceedings of Concurrency
Specification and Programming (CSP2004).
Potsdam,
Germany.
F. Raimondi, A. Lomuscio. Symbolic Model Checking of
Deontic Interpreted Systems via OBDDs. Proceedings of
the 7th International Workshop on Deontic Logic in Computer
Science (DEON04). Madeira, Portugal. Springer LNCS 3065.
M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M.
Szreter. Verifying Multi-agent Systems via Unbounded Model
Checking. Proceedings of the 3rd NASA Workshop on Formal
Approaches to Agent-Based Systems (FAABS III).
Washington, USA. Springer LNCS Vol 3228.
F. Raimondi, A. Lomuscio. Towards model checking for
multiagent systems via OBDDs. Proceedings of the 3rd
NASA Workshop on Formal Approaches to Agent-Based Systems
(FAABS III). Washington, USA. Springer LNCS Vol 3228.
2003
G. Governatori, A. Lomuscio, M. Sergot. A tableux system for deontic
interpreted systems. Proceedings of AI03, 16th
Australian Joint Conference on Artificial Intelligence.
Perth, Australia. Springer LNCS Vol 2903.
W. van der Hoek, A. Lomuscio, E. de Vink, M. Wooldridge
editors.
Proceedings of LCMAS, Workshop on Logic and
Communication in Multi-Agent Systems. Electronic lecture
notes in Theoretical Computer Science. Volume 85.
W. van der Hoek, A. Lomuscio. A
logic for ignorance. Electronic Lecture Notes of
Theoretical Computer Science, volume 85.
W. Penczek, A. Lomuscio. Verifying Epistemic
Properties of multi-agent systems via model checking.
Fundamenta Informaticae, volume 55(2). (A shorter version of
this paper appeared in the Proceedings of AAMAS03, Second
International Conference on Autonomous Agents and
Multi-Agent Systems. Melbourne, 2003.) IOS Press.
W. van der Hoek, A. Lomuscio. Ignore at your peril -
towards a logic for ignorance. Proceedings of AAMAS03,
Second International Conference on Autonomous Agents and
Multi-Agent Systems. Melbourne, 2003. Short paper. ACM
Press.
A. Lomuscio, F. Raimondi, M. Sergot. Towards model
checking interpreted systems. Proceedings of AAMAS03, Second
International Conference on Autonomous Agents and
Multi-Agent Systems. Melbourne, 2003. Short paper. ACM
Press.
A. Lomuscio, M. Sergot. Deontic
Interpreted
Systems. Studia Logica (Special Issue on The Dynamics
of Knowledge). W. van der Hoek and M. Wooldridge eds. Kluwer
Academic Publishers. Volume 75.
A. Lomuscio, M. Sergot. The
bit transmission problem revisited. Proceedings of AAMAS'02
(First International Joint Conference on Autonomous Agents
and Multiagent Systems). Bologna, Italy.
A. Lomuscio, M. Sergot. Violation, error recovery, and
enforcement in the bit transmission problem. Proceedings of
DEON'02
(Sixth International Workshop on Deontic Logic in Computer
Science). London, UK.
N. R. Jennings, P. Faratin, A. Lomuscio, S. Parsons, M.
Wooldridge, C. Sierra. Automated Negotiation: Prospects,
Methods, and Challenges. Journal of Group Decision and
Negotiation. 10:199-215, 2001. Kluwer Academic Publishers.
M. Wooldridge and A. Lomuscio. Multi-Agent VSK
Logic. Proceedings of JELIA2000, 7th
European Workshop Logic in Artificial Intelligence. Malaga,
Spain. Springer LNAI
Vol 1919.
M. Wooldridge and A. Lomuscio. A Logic of Visibility,
Perception, and Knowledge: Completeness and Correspondence
results. Proceedings of FAPR2000, International Conference
on Pure and Applied Practical Reasoning. London, September.
A revised
version appears on the Logic Journal of the IGPL,
Volume 9, Issue 2: March 2001.
A. Lomuscio and M. D. Ryan. An
algorithmic
approach to knowledge evolution. Artificial
Intelligence for Engineering Design, Analysis and
Manufacturing (AIEDAM), Vol. 13, No. 2 (Special issue on
Temporal Logic in Engineering). Cambridge University Press.
A. Lomuscio and M. Ryan. Model refinement and model
checking for S5n. Proceedings of the ECAI-98 Workshop on
Practical Reasoning and Rationality, Brighton (UK).
A. Lomuscio and M. Ryan. Ideal
agents
sharing
(some!)
knowledge. In Proceedings of ECAI-98, 13th European
Conference on Artificial Intelligence. John Wiley &
Sons. Brighton (UK), August.
1997
A. Lomuscio and M. Ryan. On
the
relation between Interpreted Systems and Kripke Models.
Proceedings of the AI97 Workshop on Theoretical and
Practical Foundation of Intelligent Agents and
Agent-Oriented Systems, Perth (WA). Springer LNCS Vol 1441.
A. Lomuscio and M. Ryan. A note on the relation between
Interpreted Systems and Kripke Models. 2nd Workshop on
Practical Reasoning and Rationality, Manchester, April.
Expanded version presented at Agent Symposium at ESSLLI97.
M. d'Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de
Rijke, M. Ryan and M. Wooldridge Formalisms for multi-agent
systems. The Knowledge Engineering Review, Vol. 12:3, 1997,
315-321. Oxford University Press.
A. Lomuscio and M. Colombetti. QLB:
a
quantified
logic
for belief. Intelligent Agents III, Proceedings of the
Third International Workshop on Agent Theories,
Architectures, and Languages (ATAL-96). Budapest, Hungary.
Springer LNCS Vol 1193.
1995
A. Lomuscio. QLB: una logica predicativa delle credenze.
Sintassi, semantica e una procedura di prova automatica dei
teoremi. Master's thesis. Politecnico di Milano, December.