The Impact of Strategies and Information in Model Checking for Multi-Agent Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

The Impact of Strategies and Information in Model Checking for Multi-Agent Systems

Résumé

System correctness is one of the most crucial and challenging objectives in software and hardware systems. With the increasing evolution of connected and distributed systems, ensuring their correctness requires the use of formal verification for multi-agent systems. In this paper, we present a summary of certain results on model checking for multi-agent systems that derive from the selection of strategies and information for agents. Additionally, we discuss some open directions for future research.

Dates et versions

hal-04336278 , version 1 (11-12-2023)

Identifiants

Citer

Vadim Malvone. The Impact of Strategies and Information in Model Checking for Multi-Agent Systems. AREA 2023, Sep 2023, Krakow (Cracovie), Poland. pp.63-70, ⟨10.4204/EPTCS.391.8⟩. ⟨hal-04336278⟩
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More