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.

 

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

Non-elementary speed up for model checking synchronous perfect recall., и . ECAI, том 215 из Frontiers in Artificial Intelligence and Applications, стр. 1077-1078. IOS Press, (2010)QLB: A Quantified Logic for Belief., и . ATAL, том 1193 из Lecture Notes in Computer Science, стр. 71-85. Springer, (1996)Formal verification of neural agents in non-deterministic environments., , , и . Auton. Agents Multi Agent Syst., 36 (1): 6 (2022)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)Bounded model checking for knowledge and real time., , и . AAMAS, стр. 165-172. ACM, (2005)A Classification Scheme for Negotiation in Electronic Commerce., , и . AgentLink, том 1991 из Lecture Notes in Computer Science, стр. 19-33. Springer, (2001)An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information., , и . AAAI, стр. 6030-6037. AAAI Press, (2019)