Open AccessProbabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall
Author(s) -
Xiaowei Huang,
Kaile Su,
Chenyi Zhang
Publication year - 2021
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v26i1.8214
Subject(s) - undecidable problem , fragment (logic) , probabilistic logic , probabilistic ctl , temporal logic , computer science , model checking , theoretical computer science , exptime , probabilistic argumentation , recall , algorithm , artificial intelligence , decidability , computational complexity theory , probabilistic analysis of algorithms , pspace , psychology , cognitive psychology