( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-checking graded computation-tree logic with finite path semantics.

, , , и . Theor. Comput. Sci., (2020)

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.

Pietro Murano

 

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

Graded computation tree logic., , и . ACM Trans. Comput. Log., 13 (3): 25:1-25:53 (2012)Pushdown Multi-Agent System Verification., и . IJCAI, стр. 1090-1097. AAAI Press, (2015)Pushdown Module Checking with Imperfect Information., , и . CONCUR, том 4703 из Lecture Notes in Computer Science, стр. 460-475. Springer, (2007)Enriched µ-Calculus Pushdown Module Checking., , и . LPAR, том 4790 из Lecture Notes in Computer Science, стр. 438-453. Springer, (2007)Hierarchical cost-parity games., , , и . Theor. Comput. Sci., (2020)Improved model checking of hierarchical systems., , и . Inf. Comput., (2012)Natural Strategic Ability in Stochastic Multi-Agent Systems., , , и . AAAI, стр. 17308-17316. AAAI Press, (2024)Synthesis of Mechanisms with Strategy Logic., , , и . ICTCS, том 3284 из CEUR Workshop Proceedings, стр. 47-52. CEUR-WS.org, (2022)Dynamic Epistemic Logic Games with Epistemic Temporal Goals., , , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 155-162. IOS Press, (2020)Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm., , , и . ICCS, том 108 из Procedia Computer Science, стр. 525-534. Elsevier, (2017)