Browsing by Author "Fisher, Michael"
Now showing 1 - 6 of 6
- 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 Security-Minded Verification of Cooperative Awareness Messages(2024-07-01) Farrell, Marie; Bradbury, Matthew; Cardoso, Rafael C.; Fisher, Michael; Dennis, Louise A.; Dixon, Clare; Sheik, Al Tariq; Yuan, Hu; Maple, Carsten; University of Aberdeen.Computing Science; University of Aberdeen.Agents at AberdeenItem Updating Action Descriptions and Plans for Cognitive Agents(International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2023-05-30) Stringer, Peter; Cardoso, Rafael C.; Dixon, Clare; Fisher, Michael; Dennis, Louise A.; 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