Artikel mit Open-Access-Mandaten - Alessio R LomuscioWeitere Informationen
Nicht verfügbar: 1
Robust explanations for human-neural multi-agent systems with formal verification
F Leofante, A Lomuscio
European Conference on Multi-Agent Systems, 244-262, 2023
Mandate: US Department of Defense
Verfügbar: 57
Efficient verification of relu-based neural networks via dependency analysis
E Botoeva, P Kouvaros, J Kronqvist, A Lomuscio, R Misener
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 3291-3299, 2020
Mandate: US Department of Defense
Efficient neural network verification via adaptive refinement and adversarial search
P Henriksen, A Lomuscio
ECAI 2020, 2513-2520, 2020
Mandate: US Department of Defense, UK Research & Innovation
MCMAS-SLK: A model checker for the verification of strategy logic specifications
P Čermák, A Lomuscio, F Mogavero, A Murano
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
Mandate: UK Engineering and Physical Sciences Research Council, Government of Italy
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis.
P Henriksen, A Lomuscio
IJCAI, 2549-2555, 2021
Mandate: UK Research & Innovation
Reachability analysis for neural agent-environment systems
M Akintunde, A Lomuscio, L Maganti, E Pirovano
Sixteenth international conference on principles of knowledge representation …, 2018
Mandate: US Department of Defense
Verifying and synthesising multi-agent systems against one-goal strategy logic specifications
P Čermák, A Lomuscio, A Murano
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
Mandate: UK Engineering and Physical Sciences Research Council, European Commission
Verification of RNN-based neural agent-environment systems
ME Akintunde, A Kevorchian, A Lomuscio, E Pirovano
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 6006-6013, 2019
Mandate: US Department of Defense
Parameterised verification for multi-agent systems
P Kouvaros, A Lomuscio
Artificial Intelligence 234, 152-189, 2016
Mandate: UK Engineering and Physical Sciences Research Council
Verification of broadcasting multi-agent systems against an epistemic strategy logic.
F Belardinelli, A Lomuscio, A Murano, S Rubin
IJCAI 17, 91-97, 2017
Mandate: UK Engineering and Physical Sciences Research Council, European Commission …
Formal verification of neural agents in non-deterministic environments
ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio
Autonomous Agents and Multi-Agent Systems 36 (1), 6, 2022
Mandate: US Department of Defense
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching.
P Kouvaros, A Lomuscio
IJCAI, 2643-2650, 2021
Mandate: US Department of Defense
Decidability of model checking multi-agent systems against a class of EHS specifications
AR Lomuscio, J Michaliszyn
ECAI 2014, 543-548, 2014
Mandate: UK Engineering and Physical Sciences Research Council
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts.
B Batten, P Kouvaros, A Lomuscio, Y Zheng
IJCAI, 2184-2190, 2021
Mandate: US Department of Defense, UK Research & Innovation
Verifying emergent properties of swarms
P Kouvaros, A Lomuscio
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Mandate: UK Engineering and Physical Sciences Research Council
A counter abstraction technique for the verification of robot swarms
P Kouvaros, A Lomuscio
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
Mandate: UK Engineering and Physical Sciences Research Council
Practical verification of multi-agent systems against SLK specifications
P Čermák, A Lomuscio, F Mogavero, A Murano
Information and Computation 261, 588-614, 2018
Mandate: UK Engineering and Physical Sciences Research Council, Government of Italy
Model checking multi-agent systems against epistemic HS specifications with regular expressions
A Lomuscio, J Michaliszyn
Fifteenth International Conference on the Principles of Knowledge …, 2016
Mandate: UK Engineering and Physical Sciences Research Council
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments.
P Kouvaros, A Lomuscio
IJCAI, 2013-2019, 2013
Mandate: UK Engineering and Physical Sciences Research Council
Verifying multi-agent systems by model checking three-valued abstractions
A Lomuscio, J Michaliszyn
Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015
Mandate: UK Engineering and Physical Sciences Research Council
Angaben zur Publikation und Finanzierung werden automatisch von einem Computerprogramm ermittelt