( 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.

Fabio Sorrentino

Sajoscha Sorrentino

Daniela Sorrentino

Loredana Pop

Loredana Cappelletti

 

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

On Promptness in Parity Games., , и . LPAR, том 8312 из Lecture Notes in Computer Science, стр. 601-618. Springer, (2013)Model-checking graded computation-tree logic with finite path semantics., , , и . Theor. Comput. Sci., (2020)Concurrent Multi-Player Parity Games., , и . AAMAS, стр. 689-697. ACM, (2016)Hiding Actions in Concurrent Games., , и . ECAI, том 285 из Frontiers in Artificial Intelligence and Applications, стр. 1686-1687. IOS Press, (2016)Games with additional winning strategies., , и . CILC, том 1459 из CEUR Workshop Proceedings, стр. 175-180. CEUR-WS.org, (2015)Solving Parity Games in Scala., , , и . FACS, том 8997 из Lecture Notes in Computer Science, стр. 145-161. Springer, (2014)On the Counting of Strategies., , , и . TIME, стр. 170-179. IEEE Computer Society, (2015)Smart Destination-Based Parking for the Optimization of Waiting Time., , , и . AINA Workshops, том 1150 из Advances in Intelligent Systems and Computing, стр. 1019-1027. Springer, (2020)A Game-based Model for Human-robots Interaction., и . WOA, том 1382 из CEUR Workshop Proceedings, стр. 146-150. CEUR-WS.org, (2015)Results on Alternating-Time Temporal Logics with Linear Past., , и . TIME, том 120 из LIPIcs, стр. 6:1-6:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)