Verification of Agent-Based Artifact Systems von Belardinelli, F., Lomuscio, A., Patrizi, F.

Volltext

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results von Belardinelli, F., Lomuscio, A.

Volltext

Quantified epistemic logics for reasoning about knowledge in multi-agent systems von Belardinelli, F., Lomuscio, A.

Volltext

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

Volltext

A counter abstraction technique for verifying properties of probabilistic swarm systems von Lomuscio, A, Pirovano, E

Volltext

Robust explanations for human-neural multi-agent systems with formal verification von Leofante, F, Lomuscio, A

Volltext

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

Volltext

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

Volltext

22nd International Symposium on Temporal Representation and Reasoning (TIME 2015) von Grandi, Fabio, Lange, Martin, Lomuscio, Alessio

Volltext

Approximating perfect recall when model checking strategic abilities: theory and applications von Belardinelli, F, Lomuscio, A, Malvone, V, Yu, E

Volltext

Verification of multi-agent systems with public actions against strategy logic von Belardinelli, F, Lomuscio, A, Murano, A, Rubin, S

Volltext

Designing a Deontic Logic of Deadlines von Broersen, Jan, Dignum, Frank, Dignum, Virginia, Meyer, John-Jules Ch

Volltext

Automated Verification of Quantum Protocols using MCMAS von Belardinelli, F., Gonzalez, P., Lomuscio, A.

Volltext

Formal verification of neural agents in non-deterministic environments von Akintunde, ME, Botoeva, E, Kouvaros, P, Lomuscio, A

Volltext

Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings von Lomuscio, Alessio, Nute, Donald

Volltext

Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results von Lomuscio, A., Łasica, T., Penczek, W.

Volltext

Defeasible Logic: Agency, Intention and Obligation von Governatori, Guido, Rotolo, Antonino

Volltext

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results von Belardinelli, F, Lomuscio, A

Volltext

Abstraction-based verification of infinite-state reactive modules von Belardinelli, F, Lomuscio, A

Volltext

Parameterised model checking for alternating-time temporal logic von Kouvaros, P, Lomuscio, A

Volltext