Alessio R Lomuscio
Alessio R Lomuscio
Imperial College London
Bestätigte E-Mail-Adresse bei imperial.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
18772001
A classification scheme for negotiation in electronic commerce
AR Lomuscio, M Wooldridge, NR Jennings
Group Decision and Negotiation 12 (1), 31-56, 2003
4012003
MCMAS: A model checker for the verification of multi-agent systems
A Lomuscio, H Qu, F Raimondi
International conference on computer aided verification, 682-688, 2009
3482009
A classification scheme for negotiation in electronic commerce
AR Lomuscio, M Wooldridge, NR Jennings
Agent Mediated Electronic Commerce, 19-33, 2001
2802001
Verifying epistemic properties of multi-agent systems via bounded model checking
W Penczek, A Lomuscio
Fundamenta Informaticae 55 (2), 167-185, 2003
2152003
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
1692007
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 (1), 9-30, 2017
1682017
MCMAS: A model checker for multi-agent systems
A Lomuscio, F Raimondi
International Conference on Tools and Algorithms for the Construction and …, 2006
1592006
Deontic interpreted systems
A Lomuscio, M Sergot
Studia Logica 75 (1), 63-92, 2003
1572003
An approach to reachability analysis for feed-forward relu neural networks
A Lomuscio, L Maganti
arXiv preprint arXiv:1706.07351, 2017
1382017
Formalisms for multi-agent systems
M D'inverno, M Fisher, A Lomuscio, M Luck, M De Rijke, M Ryan, ...
The Knowledge Engineering Review 12 (03), 315-321, 1997
1101997
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
892006
Towards verifying contract regulated service composition
A Lomuscio, H Qu, M Solanki
Autonomous Agents and Multi-Agent Systems 24 (3), 345-373, 2012
872012
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
852006
MCMAS-SLK: A model checker for the verification of strategy logic specifications
P Čermák, A Lomuscio, F Mogavero, A Murano
International Conference on Computer Aided Verification, 525-532, 2014
842014
An Abstraction Technique for the Verification of Artifact-Centric Systems.
F Belardinelli, A Lomuscio, F Patrizi
KR, 2012
792012
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
792004
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems
A Lomuscio, W Penczek, H Qu
Fundamenta Informaticae 101 (1-2), 71-90, 2010
742010
Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation
F Raimondi, A Lomuscio
Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004
682004
An epistemic halpern-shoham logic
A Lomuscio, J Michaliszyn
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
652013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20