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

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:PAAMS (20. : 2022 : L'Aquila; Online) Advances in practical applications of agents, multi-agent systems, and complex systems simulation
1. Verfasser: Ferrando, Angelo (VerfasserIn)
Weitere Verfasser: Malvone, Vadim (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Investigating Effects of Centralized Learning Decentralized Execution on Team Coordination in the Level Based Foraging Environment as a Sequential Social Dilemma 2022 Atrazhev, Peter
Developing BDI-Based Robotic Systems with ROS2 2022 Moro, Devis Dal
How to Solve a Classification Problem Using a Cooperative Tiling Multi-agent System? 2022 Fourez, Thibault
Agent-Based Modelling and Simulation of Decision-Making in Flying Ad-Hoc Networks 2022 Helle, Philipp
An Emotion-Inspired Anomaly Detection Approach for Cyber-Physical Systems Resilience 2022 Kouicem, Eskandar
Multi-Agent Routing Optimization for Underwater Monitoring 2022 Traversi, Emiliano
An Agent-Based Model of Emotion Contagion and Group Identification: A Case Study in the Field of Football Supporters 2022 Haeringen, Erik van
Smart Contracts for the CloudAnchor Platform 2022 Vasco, Eduardo
Digital Twin Assisted Decision Making 2022 Kulkarni, Vinay
Intelligent Artificial Agent for Information Retrieval 2022 Pulis, Michael
From Research to Crisis Management: Multiagent Simulation for Local Governments 2022 Schewerda, Alexander
An Open MAS/IoT-Based Architecture for Large-Scale V2G/G2V 2022 Akasiadis, Charilaos
Co-Learning: Consensus-based Learning for Multi-Agent Systems 2022 Carrascosa, C.
Explaining Semantic Reasoning Using Argumentation 2022 Ferreira, Carlos Eduardo A.
Study of Heterogeneous User Behavior in Crowd Evacuation in Presence of Wheelchair Users 2022 Hata, John
A Flexible Agent Architecture in SPADE 2022 Palanca, J.
A Declarative Modelling Language for the Design of Complex Structured Agent-Based Epidemiological Models 2022 Sicard, Vianney
Grouplanner: A Group Recommender System for Tourism with Multi-agent MicroServices 2022 Alves, Patrícia
Toward an Agent-Based Model of Community of Practice: Demonstration 2022 Chaoui, Amal
A Demonstration of BDI-Based Robotic Systems with ROS2 2022 Moro, Devis Dal
Alle Artikel auflisten