Automated Negotiation: Prospects, Methods and Challenges von Jennings, N R, Faratin, P, Lomuscio, A R, Parsons, S, Wooldridge, M J, Sierra, C

Volltext

Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems von Ezekiel, J, Lomuscio, AR

Volltext

A Classification Scheme for Negotiation in Electronic Commerce von Lomuscio, Alessio R, Wooldridge, Michael, Jennings, Nicholas R

Volltext

Parameterised verification for multi-agent systems von Lomuscio, AR, Kouvaros

Volltext

MCMAS: an open-source model checker for the verification of multi-agent systems von Lomuscio, AR, Qu, H, Raimondi, F

Volltext

Verification of GSM-based Artifact-centric Systems by Predicate Abstraction von Lomuscio, AR, griesmayer, A, gonzalez

Volltext

Decidability of model checking multi-agent systems against a class of EHS specifications von Lomuscio, AR, Michaliszyn, J

Volltext

4th International Workshop on Strategic Reasoning (SR 2016) von Lomuscio, Alessio R., Vardi, Moshe Y.

Volltext

An abstraction technique for the verification of multi-agent systems against ATL specifications von Lomuscio, AR

Volltext bestellen

Approximating perfect recall when model checking strategic abilities von Lomuscio, AR, Belardinelli, F, Malvone, V

Volltext bestellen

Reachability analysis for neural agent-environment systems von Lomuscio, AR, Akitunde, M, Maganti, L, Pirovano, E

Volltext bestellen

Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions von Lomuscio, AR, Michaliszyn, J

Volltext bestellen

A counter abstraction technique for the verification of robot swarms von Lomuscio, AR, Kouvaros, P

Volltext bestellen

Model Checking Unbounded Artifact-Centric Systems von Lomuscio, AR, Michaliszyn, J

Volltext bestellen

A Classification Scheme for Negotiation in Electronic Commerce von Lomuscio, AR, Wooldridge, M, Jennings, NR

Volltext

Compositional neural-network modeling of complex analog circuits von Hasani, R, Haerle, D, Baumgartner, C, Lomuscio, AR, Grosu, R

Volltext bestellen

Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications von Lomuscio, AR, Cermak, P, Murano, A

Volltext bestellen

Towards Modeling and Execution of Collective Adaptive Systems von Andrikopoulos, Vasilios, Bucchiarone, Antonio, Gómez Sáez, Santiago, Karastoyanova, Dimka, Mezzina, Claudio Antares

Volltext

GDN 2000 keynote papers von Shakun, Melvin F, Eden, Colin, Ackermann, Fran, Munier, Bertrand, Kilgour, D Marc, Hipel, Keith W, Peng, Xiaoyong John, Fang, Liping, Nurmi, Hannu, Jennings, N R, Faratin, P, Lomuscio, A R, Parsons, S, Wooldridge, M, Sierra, C

Volltext

Service-Oriented Computing-ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers von Lomuscio, Alessio, Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Volltext