Loredana Sorrentino

According to our database, Loredana Sorrentino authored at least 23 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games.

Luisa D'Amore, Aniello Murano, Loredana Sorrentino, Rossella Arcucci, Giuliano Laccetti

Concurr. Comput. Pract. Exp., 2021

Improving parity games in practice.

Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino

Ann. Math. Artif. Intell., 2021

2020

Model-checking graded computation-tree logic with finite path semantics.

Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino

Theor. Comput. Sci., 2020

Alternating-time temporal logics with linear past.

Laura Bozzelli, Aniello Murano, Loredana Sorrentino

Theor. Comput. Sci., 2020

Hierarchical cost-parity games.

Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino

Theor. Comput. Sci., 2020

Behavioral Clustering: A New Approach for Traffic Congestion Evaluation.

Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

Smart Destination-Based Parking for the Optimization of Waiting Time.

Marco Balzano, Walter Balzano, Loredana Sorrentino, Silvia Stranieri

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

2019

Network Signal Comparison Through Waves Parameters: a Local-Alignment-Based Approach.

Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri

Proceedings of the 5th IEEE International Symposium on Measurements & Networking, 2019

A Smart Compact Traffic Network Vision Based on Wave Representation.

Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri

Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

2018

Reasoning about graded strategy quantifiers.

Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino

Inf. Comput., 2018

Additional Winning Strategies in Reachability Games.

Vadim Malvone, Aniello Murano, Loredana Sorrentino

Fundam. Informaticae, 2018

Results on Alternating-Time Temporal Logics with Linear Past.

Laura Bozzelli, Aniello Murano, Loredana Sorrentino

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

Graded CTL* over Finite Paths.

Loredana Sorrentino, Sasha Rubin, Aniello Murano

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

2017

Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm.

Rossella Arcucci, Umberto Marotta, Aniello Murano, Loredana Sorrentino

Proceedings of the International Conference on Computational Science, 2017

Hiding Actions in Multi-Player Games.

Vadim Malvone, Aniello Murano, Loredana Sorrentino

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Cycle Detection in Computation Tree Logic.

Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino

Proceedings of the Seventh International Symposium on Games, 2016

Hiding Actions in Concurrent Games.

Vadim Malvone, Aniello Murano, Loredana Sorrentino

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Concurrent Multi-Player Parity Games.

Vadim Malvone, Aniello Murano, Loredana Sorrentino

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

On Promptness in Parity Games.

Fabio Mogavero, Aniello Murano, Loredana Sorrentino

Fundam. Informaticae, 2015

A Game-based Model for Human-robots Interaction.

Aniello Murano, Loredana Sorrentino

Proceedings of the 16th Workshop "From Objects to Agents", 2015

On the Counting of Strategies.

Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Games with additional winning strategies.

Vadim Malvone, Aniello Murano, Loredana Sorrentino

Proceedings of the 30th Italian Conference on Computational Logic, 2015

2014

Solving Parity Games in Scala.

Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014