Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems

von Ferrando, Angelo
Veröffentlicht in PAAMS (20. : 2022 : L'Aquila; Online) Advances in practical applications of agents, multi-agent systems, and complex systems simulation (2022)

StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms

von Ferrando, Angelo
Veröffentlicht in International Workshop on Engineering Multi-Agent Systems (9. : 2021 : Online) Engineering Multi-Agent Systems (2022)

Runtime Verification with Imperfect Information Through [ndistinguishability Relations

von Ferrando, Angelo
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)

The DigForSim Agent Based Simulator of People Movements in Crime Scenes

von Biagetti, Alessandro
Veröffentlicht in PAAMS (18. : 2020 : L'Aquila) Advances in practical applications of agents, multi-agent systems, and trustworthiness (2020)

Fantastic MASs and Where to Find Them: First Results and Lesson Learned

von Briola, Daniela
Veröffentlicht in EMAS (11. : 2023 : London) Engineering multi-agent systems (2023)

LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest

von Cardoso, Rafael C.
Veröffentlicht in Multi-Agent Programming Contest (14. : 2019) The multi-agent programming contest 2019 (2020)

Automated Planning and BDI Agents: A Case Study

von Cardoso, Rafael C.
Veröffentlicht in PAAMS (19. : 2021 : Salamanca) Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good (2021)

On Enactability of Agent Interaction Protocols: Towards a Unified Approach

von Ferrando, Angelo
Veröffentlicht in International Workshop on Engineering Multi-Agent Systems (7. : 2019 : Montréal) Engineering multi-agent systems (2020)

Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal

von Farrell, Marie
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)

Implementing Ethical Governors in BDI

von Cardoso, Rafael C.
Veröffentlicht in International Workshop on Engineering Multi-Agent Systems (9. : 2021 : Online) Engineering Multi-Agent Systems (2022)

An Interface for Programming Verifiable Autonomous Agents in ROS

von Cardoso, Rafael C.
Veröffentlicht in EUMAS (17. : 2020 : Online) Multi-agent systems and agreement technologies (2020)

Intelligent Agents for Human Behavior Modeling as Support to Operations

von Bruzzone, Agostino G.
Veröffentlicht in SIMULTECH (3. : 2013 : Reykjavik) Simulation and modeling methodologies, technologies and applications (2015)

Heterogeneous Verification of an Autonomous Curiosity Rover

von Cardoso, Rafael C.
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Towards Forward Responsibility in BDI Agents

von Cardoso, Rafael C.
Veröffentlicht in EMAS (11. : 2023 : London) Engineering multi-agent systems (2023)

ROSMonitoring: A Runtime Verification Framework for ROS

von Ferrando, Angelo
Veröffentlicht in TAROS (21. : 2020 : Online) Towards autonomous robotic systems (2020)

MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest

von Cardoso, Rafael C.
Veröffentlicht in Multi-Agent Programming Contest (15. : 2021) The Multi-Agent Programming Contest 2021 (2021)