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
352015
Games with additional winning strategies.
V Malvone, A Murano, L Sorrentino
CILC 15, 1-6, 2015
172015
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
122020
Reasoning about graded strategy quantifiers
V Malvone, F Mogavero, A Murano, L Sorrentino
Information and Computation 259, 390-411, 2018
122018
Hiding actions in multi-player games
V Malvone, A Murano, L Sorrentino
Proceedings of the 16th Conference on Autonomous Agents and MultiAgentá…, 2017
122017
Concurrent multi-player parity games
V Malvone, A Murano, L Sorrentino
Proceedings of the 2016 International Conference on Autonomous Agentsá…, 2016
122016
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
Formal Aspects of Component Software: 11th International Symposium, FACSá…, 2015
112015
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
72020
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
72020
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
72019
Additional winning strategies in reachability games
V Malvone, A Murano, L Sorrentino
Fundamenta Informaticae 159 (1-2), 175-195, 2018
72018
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
62019
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
52020
Hiding actions in concurrent games
V Malvone, A Murano, L Sorrentino
Proceedings of the Twenty-second European Conference on Artificialá…, 2016
52016
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
Hierarchical cost-parity games
L Bozzelli, A Murano, G Perelli, L Sorrentino
Theoretical Computer Science 847, 147-174, 2020
32020
Improving parity games in practice
A Di Stasio, A Murano, V Prignano, L Sorrentino
Annals of Mathematics and Artificial Intelligence 89, 551-574, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20