Angelo Ferrando

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 47

Top Topics

Imperfect Information

Partially Observable

Top Venues

Intelligenza Artificiale

Publications

Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
Solvent: liquidity verification of smart contracts. CoRR (2024)
Angelo Ferrando, Andrea Gatti, Viviana Mascardi
Geometric and Spatial Reasoning in BDI Agents: A Survey. CILC (2024)
Angelo Ferrando, Vadim Malvone
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems. CoRR (2024)
Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition. J. Intell. Robotic Syst. 110 (3) (2024)
Angelo Ferrando, Vadim Malvone
Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems. WOA (2024)
Diana Ivan, Angelo Ferrando, Andrea Gatti, Giovanna Guerrini, Viviana Mascardi
Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design. WOA (2024)
Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher
Towards Forward Responsibility in BDI Agents. EMAS (2023)
Angelo Ferrando, Andrea Gatti, Viviana Mascardi
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa. VORTEX@ISSTA (2023)
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. Artif. Intell. 316 (2023)
Angelo Ferrando, Vadim Malvone
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. AAMAS (2023)
Angelo Ferrando, Viviana Mascardi
Special issue for the 23rd workshop "from objects to agents" (WOA 2022). Intelligenza Artificiale 17 (1) (2023)
Daniela Briola, Angelo Ferrando, Viviana Mascardi
Fantastic MASs and Where to Find Them: First Results and Lesson Learned. EMAS (2023)
Mahyar Sadeghi Garjan, Tommy Chaanine, Cecilia Pasquale, Vito Paolo Pastore, Angelo Ferrando
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO. EUMAS (2023)
Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi
RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics 12 (2) (2023)
Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi
Integrating Ontologies and Cognitive Conversational Agents in On2Conv. EUMAS (2023)
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
3vLTL: A Tool to Generate Automata for Three-valued LTL. CoRR (2023)
Angelo Ferrando, Vadim Malvone
How to Find Good Coalitions to Achieve Strategic Objectives. ICAART (1) (2023)
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI (2023)
Hisham Unniyankal, Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. WOA (2023)
Tommy Chaanine, Angelo Ferrando, C. Pasquale, Vito Paolo Pastore, Mahyar Sadeghi Garjan, S. Siri
A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs. ITSC (2023)
Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri
HYASM: A Tool to Verify Hierarchical Systems. WETICE (2023)
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR (2023)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP (2023)
Davide Catta, Angelo Ferrando, Vadim Malvone
Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives. ICAART (Revised Selected Paper) (2023)
Angelo Ferrando
Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems. IPS-RCRA-SPIRIT@AI*IA (2023)
Angelo Ferrando, Rafael C. Cardoso
Failure Handling in BDI Plans via Runtime Enforcement. ECAI (2023)
Angelo Ferrando, Giorgio Delzanno
Incrementally predictive runtime verification. J. Log. Comput. 33 (4) (2023)
Angelo Ferrando, Giorgio Delzanno
HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification. RP (2023)
Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando
Runtime Verification for Trustworthy Computing. AREA@ECAI (2023)
Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. EUMAS (2023)
Angelo Ferrando, Vadim Malvone
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. PAAMS (2022)
Angelo Ferrando, Rafael C. Cardoso
RVPLAN: Runtime Verification of Assumptions in Automated Planning. ICAART (2) (2022)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. CILC (2022)
Giorgio Delzanno, Angelo Ferrando, Giovanna Guerrini, Matteo Pusceddu, Giovanni Zanone
Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic. HELMeTO (2022)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. EUMAS (2022)
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. IFM (2022)
Angelo Ferrando, Vadim Malvone
Runtime Verification with Imperfect Information Through Indistinguishability Relations. SEFM (2022)
Luca Ciccone, Francesco Dagnino, Angelo Ferrando
Ain't No Stopping Us Monitoring Now. CoRR (2022)
Angelo Ferrando, Vadim Malvone
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Angelo Ferrando, Rafael C. Cardoso
Safety Shields, an Automated Failure Handling Mechanism for BDI Agents. AAMAS (2022)
Rafael C. Cardoso, Angelo Ferrando, Michael Fisher
Extending Attack-Fault Trees with Runtime Verification. FMAS/ASYDE@SEFM (2022)
Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
A Compositional Approach to Verifying Modular Robotic Systems. CoRR (2022)
Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study. Intelligenza Artificiale 16 (1) (2022)
Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi
RV4JaCa - Runtime Verification for Multi-Agent Systems. AREA@IJCAI-ECAI (2022)
Angelo Ferrando, Fabio Papacchini
StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms. EMAS@AAMAS (2021)
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
Implementing Ethical Governors in BDI. EMAS@AAMAS (2021)
Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. 59 (1) (2021)