Model-checking ATL under Imperfect Information and Perfect Recall Semantics isUndecidable

Este artículo de investigación trata sobre la indecidibilidad de la verificación de modelos de la Lógica Temporal de Tiempo Alterno (ATL) bajo semánticas de información imperfecta y recuerdo perfecto. Resalta una barrera computacional significativa en la verificación de sistemas multiagente bajo estas condiciones específicas.