RESEARCHDEV.to AI·vor 25T
Model-checking ATL under Imperfect Information and Perfect Recall Semantics isUndecidable
Dieser Forschungsartikel behandelt die Unentscheidbarkeit der Modellprüfung von Alternating-time Temporal Logic (ATL) unter Semantiken unvollständiger Information und perfekter Erinnerung. Er weist auf eine signifikante rechnerische Hürde bei der Verifizierung von Multi-Agenten-Systemen unter diesen spezifischen Bedingungen hin.
27