( en | de | ru )

 

Disambiguation of "Sorrentino, Loredana"

Author of the publication

copydeleteadd this publication to your clipboard
Hierarchical cost-parity games.

, , , and . 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. You can also use the button next to the name to display some publications already assigned to the person.

Fabio Sorrentino

Sajoscha Sorrentino

Daniela Sorrentino

Loredana Pop

Loredana Cappelletti

 

Other publications of authors with the same name

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