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
332015
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
152018
Concurrent multi-player parity games
V Malvone, A Murano, L Sorrentino
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
152016
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
Hiding actions in multi-player games
V Malvone, A Murano, L Sorrentino
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
132017
On the counting of strategies
V Malvone, F Mogavero, A Murano, L Sorrentino
2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015
122015
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
122014
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
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
Additional winning strategies in reachability games
V Malvone, A Murano, L Sorrentino
Fundamenta Informaticae 159 (1-2), 175-195, 2018
82018
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
Hiding actions in concurrent games
V Malvone, A Murano, L Sorrentino
Proceedings of the Twenty-second European Conference on Artificial …, 2016
52016
Improving parity games in practice
A Di Stasio, A Murano, V Prignano, L Sorrentino
Annals of Mathematics and Artificial Intelligence 89, 551-574, 2021
42021
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
Hierarchical cost-parity games
L Bozzelli, A Murano, G Perelli, L Sorrentino
Theoretical Computer Science 847, 147-174, 2020
42020
Graded CTL* over finite paths
L Sorrentino, S Rubin, A Murano
CEUR WORKSHOP PROCEEDINGS, 152-161, 2018
42018
The system can't perform the operation now. Try again later.
Articles 1–20