Follow
Alessio R Lomuscio
Title
Cited by
Cited by
Year
Automated negotiation: prospects, methods and challenges
NR Jennings, P Faratin, AR Lomuscio, S Parsons, C Sierra, M Wooldridge
International Journal of Group Decision and Negotiation 10 (2), 199-215, 2001
21482001
MCMAS: an open-source model checker for the verification of multi-agent systems
A Lomuscio, H Qu, F Raimondi
International Journal on Software Tools for Technology Transfer 19, 9-30, 2017
7122017
A classification scheme for negotiation in electronic commerce
AR Lomuscio, M Wooldridge, NR Jennings
Group Decision and Negotiation 12, 31-56, 2003
4402003
An approach to reachability analysis for feed-forward relu neural networks
A Lomuscio, L Maganti
arXiv preprint arXiv:1706.07351, 2017
4072017
A classification scheme for negotiation in electronic commerce
AR Lomuscio, M Wooldridge, NR Jennings
Agent mediated electronic commerce: the European AgentLink perspective, 19-33, 2001
2992001
Verifying epistemic properties of multi-agent systems via bounded model checking
W Penczek, A Lomuscio
Proceedings of the second international joint conference on Autonomous …, 2003
2402003
mcmas: A Model Checker for Multi-agent Systems
A Lomuscio, F Raimondi
International conference on tools and algorithms for the construction and …, 2006
1932006
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
1842020
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
F Raimondi, A Lomuscio
Journal of Applied Logic 5 (2), 235-251, 2007
1802007
Deontic interpreted systems
A Lomuscio, M Sergot
Studia Logica 75, 63-92, 2003
1702003
Efficient neural network verification via adaptive refinement and adversarial search
P Henriksen, A Lomuscio
ECAI 2020, 2513-2520, 2020
1422020
Formalisms for multi-agent systems
M d'Inverno, M Fisher, A Lomuscio, M Luck, M De Rijke, M Ryan, ...
The Knowledge Engineering Review 12 (3), 315-321, 1997
1191997
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
1132014
Model checking knowledge, strategies, and games in multi-agent systems
A Lomuscio, F Raimondi
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
1022006
Verification of multiagent systems via unbounded model checking
M Kacprzak, A Lomuscio, W Penczek
Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004
992004
A logic for ignorance
W Van Der Hoek, A Lomuscio
Electronic Notes in Theoretical Computer Science 85 (2), 117-133, 2004
992004
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis.
P Henriksen, A Lomuscio
IJCAI, 2549-2555, 2021
962021
On the complexity of practical ATL model checking
W van der Hoek, A Lomuscio, M Wooldridge
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
922006
Towards verifying contract regulated service composition
A Lomuscio, H Qu, M Solanki
Autonomous Agents and Multi-Agent Systems 24, 345-373, 2012
892012
Reachability analysis for neural agent-environment systems
M Akintunde, A Lomuscio, L Maganti, E Pirovano
Sixteenth international conference on principles of knowledge representation …, 2018
882018
The system can't perform the operation now. Try again later.
Articles 1–20