( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automata-Theoretic Decision of Timed Games.

, , и . VMCAI, том 2294 из Lecture Notes in Computer Science, стр. 94-108. Springer, (2002)

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

 

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

Timed Context-Free Temporal Logics., , и . CoRR, (2019)Typeness for omega-regular Automata., , и . Int. J. Found. Comput. Sci., 17 (4): 869-884 (2006)Improved model checking of hierarchical systems., , и . Inf. Comput., (2012)Reasoning about Quality and Fuzziness of Strategic Behaviors., , , , , и . ACM Trans. Comput. Log., 24 (3): 21:1-21:38 (2023)Hierarchical cost-parity games., , , и . Theor. Comput. Sci., (2020)Preface., и . Theor. Comput. Sci., (2020)Weak Muller acceptance conditions for tree automata., , и . Theor. Comput. Sci., 332 (1-3): 233-250 (2005)Verification of agent navigation in partially-known environments., , , и . Artif. Intell., (2022)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)