Loredana Sorrentino

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 20

Top Topics

Nash Equilibria

Traffic Congestion

Top Venues

Theor. Comput. Sci.

Fundam. Informaticae

Publications

Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino
Improving parity games in practice. Ann. Math. Artif. Intell. 89 (5-6) (2021)
Luisa D'Amore, Aniello Murano, Loredana Sorrentino, Rossella Arcucci, Giuliano Laccetti
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games. Concurr. Comput. Pract. Exp. 33 (4) (2021)
Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
Hierarchical cost-parity games. Theor. Comput. Sci. 847 (2020)
Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino
Model-checking graded computation-tree logic with finite path semantics. Theor. Comput. Sci. 806 (2020)
Laura Bozzelli, Aniello Murano, Loredana Sorrentino
Alternating-time temporal logics with linear past. Theor. Comput. Sci. 813 (2020)
Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation. AINA Workshops (2020)
Marco Balzano, Walter Balzano, Loredana Sorrentino, Silvia Stranieri
Smart Destination-Based Parking for the Optimization of Waiting Time. AINA Workshops (2020)
Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
A Smart Compact Traffic Network Vision Based on Wave Representation. AINA Workshops (2019)
Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
Network Signal Comparison Through Waves Parameters: a Local-Alignment-Based Approach. M&N (2019)
Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
Reasoning about graded strategy quantifiers. Inf. Comput. 259 (3) (2018)
Laura Bozzelli, Aniello Murano, Loredana Sorrentino
Results on Alternating-Time Temporal Logics with Linear Past. TIME (2018)
Loredana Sorrentino, Sasha Rubin, Aniello Murano
Graded CTL* over Finite Paths. ICTCS (2018)
Vadim Malvone, Aniello Murano, Loredana Sorrentino
Additional Winning Strategies in Reachability Games. Fundam. Informaticae 159 (1-2) (2018)
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
Cycle detection in computation tree logic. Inf. Comput. 262 (2018)
Vadim Malvone, Aniello Murano, Loredana Sorrentino
Hiding Actions in Multi-Player Games. AAMAS (2017)
Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
Hierarchical Cost-Parity Games. TIME (2017)
Rossella Arcucci, Umberto Marotta, Aniello Murano, Loredana Sorrentino
Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm. ICCS (2017)
Vadim Malvone, Aniello Murano, Loredana Sorrentino
Concurrent Multi-Player Parity Games. AAMAS (2016)
Vadim Malvone, Aniello Murano, Loredana Sorrentino
Hiding Actions in Concurrent Games. ECAI (2016)
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
Cycle Detection in Computation Tree Logic. GandALF (2016)
Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
On the Counting of Strategies. TIME (2015)
Aniello Murano, Loredana Sorrentino
A Game-based Model for Human-robots Interaction. WOA (2015)
Fabio Mogavero, Aniello Murano, Loredana Sorrentino
On Promptness in Parity Games. Fundam. Informaticae 139 (3) (2015)
Vadim Malvone, Aniello Murano, Loredana Sorrentino
Games with additional winning strategies. CILC (2015)
Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino
Solving Parity Games in Scala. FACS (2014)
Fabio Mogavero, Aniello Murano, Loredana Sorrentino
On Promptness in Parity Games. LPAR (2013)