On-line monitoring and diagnosis of multi-agent systems: a model based approach R Micalizio, P Torasso, G Torta ECAI 16, 848, 2004 | 55 | 2004 |
Model-based diagnosis through OBDD compilation: A complexity analysis P Torasso, G Torta Reasoning, Action and Interaction in AI Theories and Systems: Essays …, 2006 | 43 | 2006 |
On-line monitoring and diagnosis of a team of service robots: a model-based approach R Micalizio, P Torasso, G Torta AI Communications 19 (4), 313-340, 2006 | 35 | 2006 |
Computing minimum-cardinality diagnoses using OBDDs P Torasso, G Torta Annual Conference on Artificial Intelligence, 224-238, 2003 | 35 | 2003 |
The role of OBDDs in controlling the complexity of model based diagnosis G Torta, P Torasso Proc. of 15th International Workshop on Principles of Diagnosis (DX-04), 2004 | 25 | 2004 |
Automatic abstraction in component-based diagnosis driven by system observability G Torta, P Torasso IJCAI, 394-402, 2003 | 22 | 2003 |
Aggregate processes as distributed adaptive services for the industrial internet of things L Testa, G Audrito, F Damiani, G Torta Pervasive and Mobile Computing 85, 101658, 2022 | 16 | 2022 |
Extensible 3D simulation of aggregated systems with FCPP G Audrito, L Rapetta, G Torta International Conference on Coordination Languages and Models, 55-71, 2022 | 16 | 2022 |
Distributed runtime verification by past-ctl and the field calculus G Audrito, F Damiani, V Stolz, G Torta, M Viroli Journal of Systems and Software 187, 111251, 2022 | 16 | 2022 |
A web-based, relational database for studying glaciers in the Italian Alps G Nigrelli, M Chiarle, A Nuzzi, L Perotti, G Torta, M Giardino Computers & geosciences 51, 101-107, 2013 | 16 | 2013 |
Formalizing the abstraction process in model-based diagnosis L Saitta, P Torasso, G Torta International Symposium on Abstraction, Reformulation, and Approximation …, 2007 | 15 | 2007 |
Fostering resilient execution of multi-agent plans through self-organisation G Audrito, R Casadei, G Torta 2021 IEEE International Conference on Autonomic Computing and Self …, 2021 | 12 | 2021 |
Diagnosing delays in multi-agent plans execution R Micalizio, G Torta ECAI 2012, 594-599, 2012 | 12 | 2012 |
Compact diagnoses representation in diagnostic problem solving P Torasso, G Torta Computational Intelligence 21 (1), 27-68, 2005 | 12 | 2005 |
Towards integration of multi-agent planning with self-organising collective processes G Audrito, R Casadei, G Torta 2021 IEEE International Conference on Autonomic Computing and Self …, 2021 | 11 | 2021 |
Explaining interdependent action delays in multiagent plans execution R Micalizio, G Torta Autonomous Agents and Multi-Agent Systems 30, 601-639, 2016 | 11 | 2016 |
A multi-UAS cooperative mission over non-segregated civil areas M Boccalatte, F Brogi, F Catalfamo, S Maddaluno, M Martino, V Mellano, ... Journal of Intelligent & Robotic Systems 70, 275-291, 2013 | 11 | 2013 |
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems G Torta, P Torasso AI Communications 20 (2), 93-116, 2007 | 11 | 2007 |
Mixed-initiative scheduling of tasks in user collaboration L Ardissono, G Petrone, G Torta, M Segnan International Conference on Web Information Systems and Technologies 2, 342-351, 2012 | 10 | 2012 |
On the Use of OBDDs in Model Based Diagnosis: an Approach Based on the Partition of the Model G Torta, P Torasso International Conference on Innovative Techniques and Applications of …, 2005 | 10 | 2005 |