Search Results - "Ferrando, Angelo"

Comparison of Multi-Agent Platform Usability for Industrial-Grade Applications.

Authors: Wrona, Zofia Ganzha, Maria Paprzycki, Marcin et al.

Source: Applied Sciences (2076-3417); Nov2024, Vol. 14 Issue 22, p10124, 28p

Incrementally predictive runtime verification.

Authors: Ferrando, Angelo Delzanno, Giorgio

Source: Journal of Logic & Computation; Jun2023, Vol. 33 Issue 4, p796-817, 22p

Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies.

Authors: Catta, Davide Ferrando, Angelo Malvone, Vadim

Source: Journal of Artificial Intelligence Research. 2025, Vol. 82, p777-817. 41p.

Special issue for the 23rd workshop "from objects to agents" (WOA 2022).

Authors: Ferrando, Angelo Mascardi, Viviana

Source: Intelligenza Artificiale. 2023, Vol. 17 Issue 1, p3-5. 3p.

Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker.

Authors: Conchon, Sylvain Delzanno, Giorgio Ferrando, Angelo et al.

Source: Fundamenta Informaticae; 2021, Vol. 178 Issue 4, p347-378, 32p

Special Issue: Agents and Robots for Reliable Engineered Autonomy.

Authors: Cardoso, Rafael C. Ferrando, Angelo Briola, Daniela et al.

Source: Journal of Sensor & Actuator Networks; Sep2021, Vol. 10 Issue 3, p47, 1p

Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition.

Authors: Buss Becker, Leandro Downs, Anthony Schlenoff, Craig et al.

Source: Journal of Intelligent & Robotic Systems; Sep2024, Vol. 110 Issue 3, p1-15, 15p

Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020.

Authors: Cardoso, Rafael C. Ferrando, Angelo Briola, Daniela et al.

Source: Journal of Sensor & Actuator Networks; Jun2021, Vol. 10 Issue 2, p33-33, 1p

Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023).

Authors: Ferrando, Angelo Cardoso, Rafael C.

Source: Annals of Mathematics & Artificial Intelligence; Aug2025, Vol. 93 Issue 4, p517-518, 2p

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems.

Authors: FERRANDO, ANGELO DENNIS, LOUISE A. CARDOSO, RAFAEL C. et al.

Source: ACM Transactions on Software Engineering & Methodology; Jul2021, Vol. 30 Issue 4, p1-43, 43p

Bridging the gap between single- and multi-model predictive runtime verification.

Authors: Ferrando, Angelo Cardoso, Rafael C. Farrell, Marie et al.

Source: Formal Methods in System Design; 2022, Vol. 59 Issue 1-3, p44-76, 33p

Towards partial monitoring: Never too early to give in.

Authors: Ferrando, Angelo Cardoso, Rafael C.

Source: Science of Computer Programming; Feb2025, Vol. 240, pN.PAG-N.PAG, 1p

Untying black boxes with clustering-based symbolic knowledge extraction.

Authors: Sabbatini, Federico Calegari, Roberta

Source: Intelligenza Artificiale. 2024, Vol. 18 Issue 1, p21-34. 14p.

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information.

Authors: Belardinelli, Francesco Ferrando, Angelo Malvone, Vadim

Source: Artificial Intelligence; Mar2023, Vol. 316, pN.PAG-N.PAG, 1p

Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study.

Authors: Losapio, Gianvito Minutoli, Federico Mascardi, Viviana et al.

Source: Intelligenza Artificiale. 2022, Vol. 16 Issue 1, p49-67. 19p.

ARGET ATRP of styrene in EtOAc/EtOH using only Na2CO3 to promote the copper catalyst regeneration.

Authors: Braidi, Niccolò Buffagni, Mirko Ghelfi, Franco et al.

Source: Journal of Macromolecular Science: Pure & Applied Chemistry. 2021, Vol. 58 Issue 6, p376-386. 11p.

RML: Theory and practice of a domain specific language for runtime verification.

Authors: Ancona, Davide Franceschini, Luca Ferrando, Angelo et al.

Source: Science of Computer Programming; May2021, Vol. 205, pN.PAG-N.PAG, 1p

Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach.

Authors: Ancona, Davide Briola, Daniela Ferrando, Angelo et al.

Source: Intelligenza Artificiale. 2015, Vol. 9 Issue 2, p131-148. 18p.

A Multiblock Approach to Fuse Process and Near-Infrared Sensors for On-Line Prediction of Polymer Properties.

Authors: Strani, Lorenzo Vitale, Raffaele Tanzilli, Daniele et al.

Source: Sensors (14248220). Feb2022, Vol. 22 Issue 4, pN.PAG-N.PAG. 1p.

Implementing multiblock techniques in a full-scale plant scenario: On-line prediction of quality parameters in a continuous process for different acrylonitrile butadiene styrene (ABS) products.

Authors: Tanzilli, Daniele Strani, Lorenzo Bonacini, Francesco et al.

Source: Analytica Chimica Acta. Aug2024, Vol. 1316, pN.PAG-N.PAG. 1p.