( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games.

, , , , и . CSL, том 288 из LIPIcs, стр. 32:1-32:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)

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

 

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

On Computational Tractability for Rational Verification., , , и . IJCAI, стр. 329-335. ijcai.org, (2019)Imperfect information in Reactive Modules games., , и . Inf. Comput., (2018)Employing Student Retention Strategies for an Introductory GPU Programming Course., , и . EduHPC@SC, стр. 31-40. IEEE, (2018)Rational Verification: From Model Checking to Equilibrium Checking., , , , , и . AAAI, стр. 4184-4191. AAAI Press, (2016)Equilibrium Design for Concurrent Games., , , и . CoRR, (2021)Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)., , , , и . CoRR, (2023)On the Complexity of Rational Verification., , , и . CoRR, (2022)Rational Verification for Probabilistic Systems., , , , и . KR, стр. 312-322. (2021)Local Equilibria in Logic-Based Multi-Player Games., , , и . AAMAS, стр. 399-406. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)EVE: A Tool for Temporal Equilibrium Analysis., , , и . ATVA, том 11138 из Lecture Notes in Computer Science, стр. 551-557. Springer, (2018)