Follow
Loredana Sorrentino
Loredana Sorrentino
Verified email at unina.it - Homepage
Title
Cited by
Cited by
Year
On promptness in parity games
F Mogavero, A Murano, L Sorrentino
Fundamenta Informaticae 139 (3), 277-305, 2015
342015
Games with additional winning strategies.
V Malvone, A Murano, L Sorrentino
CILC 15, 1-6, 2015
172015
Reasoning about graded strategy quantifiers
V Malvone, F Mogavero, A Murano, L Sorrentino
Information and Computation 259, 390-411, 2018
122018
Concurrent multi-player parity games
V Malvone, A Murano, L Sorrentino
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
122016
Hiding actions in multi-player games
V Malvone, A Murano, L Sorrentino
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
112017
On the counting of strategies
V Malvone, F Mogavero, A Murano, L Sorrentino
2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015
112015
Solving parity games in scala
A Di Stasio, A Murano, V Prignano, L Sorrentino
International Conference on Formal Aspects of Component Software, 145-161, 2014
112014
A Game-based Model for Human-robots Interaction.
A Murano, L Sorrentino
WOA 15, 146-150, 2015
102015
Smart destination-based parking for the optimization of waiting time
M Balzano, W Balzano, L Sorrentino, S Stranieri
Workshops of the International Conference on Advanced Information Networking …, 2020
72020
Additional winning strategies in reachability games
V Malvone, A Murano, L Sorrentino
Fundamenta Informaticae 159 (1-2), 175-195, 2018
72018
A smart compact traffic network vision based on wave representation
W Balzano, A Murano, L Sorrentino, S Stranieri
Workshops of the International Conference on Advanced Information Networking …, 2019
62019
Network signal comparison through waves parameters: a local-alignment-based approach
W Balzano, A Murano, L Sorrentino, S Stranieri
2019 IEEE International Symposium on Measurements & Networking (M&N), 1-6, 2019
52019
Hiding actions in concurrent games
V Malvone, A Murano, L Sorrentino
Proceedings of the Twenty-second European Conference on Artificial …, 2016
52016
Alternating-time temporal logics with linear past
L Bozzelli, A Murano, L Sorrentino
Theoretical Computer Science 813, 199-217, 2020
42020
Model-checking graded computation-tree logic with finite path semantics
A Murano, M Parente, S Rubin, L Sorrentino
Theoretical Computer Science 806, 577-586, 2020
42020
Parallel parity games: a multicore attractor for the Zielonka recursive algorithm
R Arcucci, U Marotta, A Murano, L Sorrentino
Procedia Computer Science 108, 525-534, 2017
42017
Cycle detection in computation tree logic
G Fontaine, F Mogavero, A Murano, G Perelli, L Sorrentino
arXiv preprint arXiv:1609.04095, 2016
42016
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games
L D'Amore, A Murano, L Sorrentino, R Arcucci, G Laccetti
Concurrency and Computation: Practice and Experience 33 (4), e6043, 2021
22021
Hierarchical cost-parity games
L Bozzelli, A Murano, G Perelli, L Sorrentino
Theoretical Computer Science 847, 147-174, 2020
22020
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation
W Balzano, A Murano, L Sorrentino, S Stranieri
Workshops of the International Conference on Advanced Information Networking …, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20