Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

QLB: A Quantified Logic for Belief., and . ATAL, volume 1193 of Lecture Notes in Computer Science, page 71-85. Springer, (1996)Non-elementary speed up for model checking synchronous perfect recall., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 1077-1078. IOS Press, (2010)Reasoning About Agents That May Know Other Agents' Strategies., , , , , and . IJCAI, page 1787-1793. ijcai.org, (2021)Verification of Semantic Key Point Detection for Aircraft Pose Estimation., , , , , and . KR, page 757-762. (2023)Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems., , , and . KR, page 22-32. (2020)Imperfect Information in Alternating-Time Temporal Logic on Finite Traces., , , and . PRIMA, volume 11873 of Lecture Notes in Computer Science, page 469-477. Springer, (2019)Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic., , and . MoChArt, volume 5348 of Lecture Notes in Computer Science, page 106-121. Springer, (2008)Verification-friendly Networks: the Case for Parametric ReLUs., , and . IJCNN, page 1-9. IEEE, (2023)Parallel Model Checking for Temporal Epistemic Logic., , and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 543-548. IOS Press, (2010)Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems., , , and . NeSy, volume 3432 of CEUR Workshop Proceedings, page 427. CEUR-WS.org, (2023)