RESEARCHDEV.to AI·il y a 25j
Model-checking ATL under Imperfect Information and Perfect Recall Semantics isUndecidable
Cet article de recherche traite de l'indécidabilité de la vérification de modèles de la Logique Temporelle à Temps Alterné (ATL) sous des sémantiques d'information imparfaite et de rappel parfait. Il souligne une barrière computationnelle significative dans la vérification des systèmes multi-agents dans ces conditions spécifiques.
27