Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B

Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:PAAMS (18. : 2020 : L'Aquila) Advances in practical applications of agents, multi-agent systems, and trustworthiness
1. Verfasser: Vistbakka, Inna (VerfasserIn)
Weitere Verfasser: Troubitsyna, Elena (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Routing Model Evaluator 2020 Antal, Vince
The DigForSim Agent Based Simulator of People Movements in Crime Scenes 2020 Biagetti, Alessandro
Assisted Parameter and Behavior Calibration in Agent-Based Models with Distributed Optimization 2020 D’Auria, Matteo
Unsupervised Sleep Stages Classification Based on Physiological Signals 2020 Ferjani, Rahma
Multi-Agent Modelling and Simulation of Hospital Acquired Infection Propagation Dynamics by Contact Transmission in Hospital Wards 2020 Esposito, Dario
Intent Recognition from Speech and Plan Recognition 2020 Persiani, Michele
Agent Programmability Enhancement for Rambling over a Scientific Dataset 2020 Sell, Matthew
A Framework for Verifying Autonomous Robotic Agents Against Environment Assumptions 2020 Dinh, Hoang Tung
Navigation of Autonomous Swarm of Drones Using Translational Coordinates 2020 Yasin, Jawad N.
JADE/JaCaMo+2COMM: Programming Agent Interactions 2020 Baldoni, Matteo
Dedale: Demonstrating a Realistic Testbed for Decentralized Multi-agents Problems 2020 Herpson, Cédric
Understandable Teams of Pepper Robots 2020 Singh, Avinash Kumar
RT-BDI: A Real-Time BDI Model 2020 Alzetta, Francesco
Improving Sustainable Mobility with a Variable Incentive Model for Bike-Sharing Systems Based on Agent-Based Social Simulation 2020 Santiago, Alberto López
Decentralized Constraint Optimization in Composite Observation Task Allocation to Mobile Sensor Agents 2020 Matsui, Toshihiro
A MAS-Based Approach for POI Group Recommendation in LBSN. Pace 2020 Schiaffino, Silvia
Multimodal Joke Generation and Paralinguistic Personalization for a Socially-Aware Robot 2020 Ritschel, Hannes
Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP 2020 Vermaelen, Jan
Assisting Users on the Privacy Decision-Making Process in an OSN for Educational Purposes 2020 Alemany, José
Multi-agent Service Area Adaptation for Ride-Sharing Using Deep Reinforcement Learning 2020 Yoshida, Naoki
Alle Artikel auflisten