Browsing by Author "Ferrando, Angelo"
Now showing 1 - 7 of 7
- Results Per Page
- Sort Options
Item Bridging the gap between single- and multi-model predictive runtime verification(2022-08-18) Ferrando, Angelo; Cardoso, Rafael C.; Farrell, Marie; Luckcuck, Matt; Papacchini, Fabio; Fisher, Michael; Mascardi, Viviana; University of Aberdeen.Computing Science; University of Aberdeen.Agents at AberdeenItem Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition(2024-07-31) Buss becker, Leandro; Downs, Anthony; Schlenoff, Craig; Albrecht, Justin; Kootbally, Zeid; Ferrando, Angelo; Cardoso, Rafael; Fisher, Michael; University of Aberdeen.Computing Science; University of Aberdeen.Agents at AberdeenItem Extending Attack-Fault Trees with Runtime Verification(2022-09-27) Cardoso, Rafael C.; Ferrando, Angelo; Fisher, Michael; University of Aberdeen.Computing Science; University of Aberdeen.Agents at AberdeenItem Failure Handling in BDI Plans via Runtime Enforcement(2023-10) Ferrando, Angelo; Cardoso, Rafael C.; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing ScienceItem Reliable Intention Selection in BDI Agents with Recovery Shields(IOS Press, 2025-10-25) Ferrando, Angelo; Cardoso, Rafael C.; Lynce, Inês; Murano, Nello; Vallati, Mauro; Villata, Serena; Chesani, Federico; Milano, Michela; Omicini, Andrea; Dastani, Mehdi; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing ScienceItem Towards partial monitoring : Never too early to give in(2025-02) Ferrando, Angelo; Cardoso, Rafael C.; University of Aberdeen.Computing Science; University of Aberdeen.Agents at AberdeenItem Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition(Springer, 2023-09-07) Becker, Leandro Buss; Downs, Anthony; Schlenoff, Craig; Kootbally, Zeid; Ferrando, Angelo; Cardoso, Rafael C.; Fisher, Michael; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing Science