An Overview of Verification and Validation Challenges for Inspection Robots von Fisher, Michael, Cardoso, Rafael C., Collins, Emily C., Dadswell, Christopher, Dennis, Louise A., Dixon, Clare, Farrell, Marie, Ferrando, Angelo, Huang, Xiaowei, Jump, Mike, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt, Luo, Shan, Page, Vincent, Papacchini, Fabio, Webster, Matt

Volltext

Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020 von Cardoso, Rafael C., Ferrando, Angelo, Briola, Daniela, Menghi, Claudio, Ahlbrecht, Tobias

Volltext

Evolution of innate immunity: lessons from mammalian models shaping our current view of insect immunity von Silva, Rafael Cardoso M. C., Ramos, Isabela B., Travassos, Leonardo H., Mendez, Ana Paula Guzman, Gomes, Fabio M.

Volltext

Resilience, reliability, and coordination in autonomous multi-agent systems von Cardoso, Rafael C., Logan, Brian, Meneguzzi, Felipe, Oren, Nir, Yun, Bruno

Volltext

Agents and Robots for Reliable Engineered Autonomy

Volltext

Towards partial monitoring: Never too early to give in von Ferrando, Angelo, Cardoso, Rafael C.

Volltext

Engineering Multi-Agent Systems: 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers von Briola, Daniela, Cardoso, Rafael C, Logan, Brian

Volltext

Towards Forward Responsibility in BDI Agents von Cardoso, Rafael C., Ferrando, Angelo, Collenette, Joe, Dennis, Louise A., Fisher, Michael

Volltext

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy: Preface von Ferrando, Angelo, Cardoso, Rafael C.

Volltext

Extending Attack-Fault Trees with Runtime Verification von Cardoso, Rafael C., Ferrando, Angelo, Fisher, Michael

Volltext

Engineering Multi-Agent Systems: 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers

Volltext

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems von Ferrando, Angelo, Dennis, Louise A., Cardoso, Rafael C., Fisher, Michael, Ancona, Davide, Mascardi, Viviana

Volltext

SPARKIT: A Mind Map-Based MAS for Idea Generation Support von Ishizaka, Masaki, Taya, Akihito, Tobe, Yoshito

Volltext

A Novel Bidding Strategy for PDAs Using MCTS in Continuous Action Spaces von Chandlekar, Sanjay, Subramanian, Easwar

Volltext

Cognitive Planning for Persuasive Multimodal Interaction von Lorini, Emiliano, Ochs, Magalie, Sabouret, Nicolas

Volltext

Cooperative Multi-agent Approach for Automated Computer Game Testing von Shirzadeh-hajimahmood, Samira, Prasteya, I. S. W. B., Dastani, Mehdi, Dignum, Frank

Volltext

Agents for DDD – Back and Forth von Ricci, Alessandro, Burattini, Samuele, Ciortea, Andrei, Castellucci, Matteo

Volltext

Jadex BDI Agents Integrated with MATSim for Autonomous Mobility on Demand von Mauri, Marcel, Erduran, Ömer Ibrahim, Minor, Mirjam

Volltext

Towards Engineering Explainable Autonomous Systems von Winikoff, Michael

Volltext

Adaptable and Verifiable BDI Reasoning von Stringer, Peter, Cardoso, Rafael C., Huang, Xiaowei, Dennis, Louise A.

Volltext