Author of the publication

Expresiveness and Complexity Results for Strategic Reasoning.

, , and . CONCUR, volume 42 of LIPIcs, page 268-282. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

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

Peachy Parallel Assignments (EduHPC 2018)., , , , , , , , , and 1 other author(s). EduHPC@SC, page 78-85. IEEE, (2018)Expresiveness and Complexity Results for Strategic Reasoning., , and . CONCUR, volume 42 of LIPIcs, page 268-282. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)On the complexity of rational verification., , , and . Ann. Math. Artif. Intell., 91 (4): 409-430 (August 2023)Cooperative Concurrent Games., , , , and . CoRR, (2023)Performance Evaluation and Improvement of Real-Time Computer Vision Applications for Edge Computing Devices., , and . ICPE (Companion), page 139-144. ACM, (2021)A Random-Supply Mean Field Game Price Model., , and . SIAM J. Financial Math., 14 (1): 188-222 (March 2023)Principal-Agent Boolean Games., , and . IJCAI, page 144-152. ijcai.org, (2023)Multi-Agent Reinforcement Learning with Temporal Logic Specifications., , , and . AAMAS, page 583-592. ACM, (2021)Evaluating Performance Tradeoffs on the Radeon Open Compute Platform., , , , , , and . ISPASS, page 209-218. IEEE Computer Society, (2018)Employing Student Retention Strategies for an Introductory GPU Programming Course., , and . EduHPC@SC, page 31-40. IEEE, (2018)