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
312015
Games with additional winning strategies.
V Malvone, A Murano, L Sorrentino
CILC 15, 1-6, 2015
192015
Reasoning about graded strategy quantifiers
V Malvone, F Mogavero, A Murano, L Sorrentino
Information and Computation 259, 390-411, 2018
162018
Hiding actions in multi-player games
V Malvone, A Murano, L Sorrentino
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
142017
Concurrent Multi-Player Parity Games.
V Malvone, A Murano, L Sorrentino
AAMAS 16, 689-697, 2016
142016
Smart destination-based parking for the optimization of waiting time
M Balzano, W Balzano, L Sorrentino, S Stranieri
Web, Artificial Intelligence and Network Applications: Proceedings of the …, 2020
132020
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
132014
On the counting of strategies
V Malvone, F Mogavero, A Murano, L Sorrentino
2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015
122015
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
102020
Additional winning strategies in reachability games
V Malvone, A Murano, L Sorrentino
Fundamenta Informaticae 159 (1-2), 175-195, 2018
102018
A Game-based Model for Human-robots Interaction.
A Murano, L Sorrentino
WOA 15, 146-150, 2015
102015
Alternating-time temporal logics with linear past
L Bozzelli, A Murano, L Sorrentino
Theoretical Computer Science 813, 199-217, 2020
92020
A smart compact traffic network vision based on wave representation
W Balzano, A Murano, L Sorrentino, S Stranieri
Web, Artificial Intelligence and Network Applications: Proceedings of the …, 2019
92019
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
82019
Behavioral clustering: A new approach for traffic congestion evaluation
W Balzano, A Murano, L Sorrentino, S Stranieri
Web, Artificial Intelligence and Network Applications: Proceedings of the …, 2020
62020
Improving parity games in practice
A Di Stasio, A Murano, V Prignano, L Sorrentino
Annals of Mathematics and Artificial Intelligence 89, 551-574, 2021
52021
Hierarchical cost-parity games
L Bozzelli, A Murano, G Perelli, L Sorrentino
Theoretical Computer Science 847, 147-174, 2020
52020
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
52017
Hiding actions in concurrent games
V Malvone, A Murano, L Sorrentino
ECAI 2016, 1686-1687, 2016
52016
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
42021
The system can't perform the operation now. Try again later.
Articles 1–20