( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mean-Payoff Games with ω-Regular Specifications.

, , и . AAMAS, стр. 1272-1280. ACM, (2021)

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

 

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

EVE: A Tool for Temporal Equilibrium Analysis., , , и . ATVA, том 11138 из Lecture Notes in Computer Science, стр. 551-557. Springer, (2018)From model checking to equilibrium checking: Reactive modules for rational verification., , и . Artif. Intell., (2017)Employing Student Retention Strategies for an Introductory GPU Programming Course., , и . EduHPC@SC, стр. 31-40. IEEE, (2018)Imperfect information in Reactive Modules games., , и . Inf. Comput., (2018)On Computational Tractability for Rational Verification., , , и . IJCAI, стр. 329-335. ijcai.org, (2019)Equilibrium Design for Concurrent Games., , , и . CoRR, (2021)Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)., , , , и . CoRR, (2023)Rational Verification: From Model Checking to Equilibrium Checking., , , , , и . AAAI, стр. 4184-4191. AAAI Press, (2016)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)