( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From model checking to equilibrium checking: Reactive modules for rational verification.

, , и . Artif. Intell., (2017)

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.

Julian Gutierrez

Raúl Gutiérrez

Gustavo Gutierrez

Juan Gutierrez

Cecilia Gutierrez

 

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

Nash Equilibrium and Bisimulation Invariance., , , и . Logical Methods in Computer Science, (2019)On the complexity of rational verification., , , и . Ann. Math. Artif. Intell., 91 (4): 409-430 (августа 2023)Performance Evaluation and Improvement of Real-Time Computer Vision Applications for Edge Computing Devices., , и . ICPE (Companion), стр. 139-144. ACM, (2021)Peachy Parallel Assignments (EduHPC 2018)., , , , , , , , , и 1 other автор(ы). EduHPC@SC, стр. 78-85. IEEE, (2018)Expresiveness and Complexity Results for Strategic Reasoning., , и . CONCUR, том 42 из LIPIcs, стр. 268-282. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)A Random-Supply Mean Field Game Price Model., , и . SIAM J. Financial Math., 14 (1): 188-222 (марта 2023)Evaluating Performance Tradeoffs on the Radeon Open Compute Platform., , , , , , и . ISPASS, стр. 209-218. IEEE Computer Society, (2018)Multi-Agent Reinforcement Learning with Temporal Logic Specifications., , , и . AAMAS, стр. 583-592. ACM, (2021)Cooperative Concurrent Games., , , , и . CoRR, (2023)Principal-Agent Boolean Games., , и . IJCAI, стр. 144-152. ijcai.org, (2023)