( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Computational Tractability for Rational Verification.

, , , и . IJCAI, стр. 329-335. ijcai.org, (2019)

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.

Giuseppe Olivato

Giuseppe Veltri

Giuseppe Valenza

Giuseppe Bosco

Giuseppe Amato

 

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

What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic., , , и . CONCUR, том 7454 из Lecture Notes in Computer Science, стр. 193-208. Springer, (2012)Timed Trace Alignment with Metric Temporal Logic over Finite Traces., , , и . KR, стр. 227-236. (2021)Reconfigurable Interaction for MAS Modelling., , и . AAMAS, стр. 7-15. International Foundation for Autonomous Agents and Multiagent Systems, (2020)Binding Forms in First-Order Logic., и . CSL, том 41 из LIPIcs, стр. 648-665. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Reasoning About Quality and Fuzziness of Strategic Behaviours., , , , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 2887-2888. IOS Press, (2020)Pushdown Multi-Agent System Verification., и . IJCAI, стр. 1090-1097. AAAI Press, (2015)Synthesis of Controllable Nash Equilibria in Quantitative Objective Game., , и . IJCAI, стр. 35-41. ijcai.org, (2018)On the complexity of rational verification., , , и . Ann. Math. Artif. Intell., 91 (4): 409-430 (августа 2023)Hierarchical cost-parity games., , , и . Theor. Comput. Sci., (2020)Reasoning about Quality and Fuzziness of Strategic Behaviours., , , , , и . IJCAI, стр. 1588-1594. ijcai.org, (2019)