From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

QLB: A Quantified Logic for Belief., и . ATAL, том 1193 из Lecture Notes in Computer Science, стр. 71-85. Springer, (1996)Non-elementary speed up for model checking synchronous perfect recall., и . ECAI, том 215 из Frontiers in Artificial Intelligence and Applications, стр. 1077-1078. IOS Press, (2010)Verification of Semantic Key Point Detection for Aircraft Pose Estimation., , , , , и . KR, стр. 757-762. (2023)Reasoning About Agents That May Know Other Agents' Strategies., , , , , и . IJCAI, стр. 1787-1793. ijcai.org, (2021)Imperfect Information in Alternating-Time Temporal Logic on Finite Traces., , , и . PRIMA, том 11873 из Lecture Notes in Computer Science, стр. 469-477. Springer, (2019)Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems., , , и . KR, стр. 22-32. (2020)Tightening the Evaluation of PAC Bounds Using Formal Verification Results., и . CoRR, (2024)Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems., , , и . NeSy, том 3432 из CEUR Workshop Proceedings, стр. 427. CEUR-WS.org, (2023)Preface., , , и . LCMAS, том 126 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2004)Parallel Model Checking for Temporal Epistemic Logic., , и . ECAI, том 215 из Frontiers in Artificial Intelligence and Applications, стр. 543-548. IOS Press, (2010)