Loredana Sorrentino
Loredana Sorrentino
Verifierad e-postadress på unina.it - Startsida
Titel
Citeras av
Citeras av
År
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
162015
Reasoning about graded strategy quantifiers
V Malvone, F Mogavero, A Murano, L Sorrentino
Information and Computation 259, 390-411, 2018
112018
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
Concurrent multi-player parity games
V Malvone, A Murano, L Sorrentino
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
102016
A Game-based Model for Human-robots Interaction.
A Murano, L Sorrentino
WOA 15, 146-150, 2015
102015
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
102014
Additional winning strategies in reachability games
V Malvone, A Murano, L Sorrentino
Fundamenta Informaticae 159 (1-2), 175-195, 2018
72018
Hiding actions in concurrent games
V Malvone, A Murano, L Sorrentino
Proceedings of the Twenty-second European Conference on Artificial …, 2016
52016
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
42019
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
22020
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
22020
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
12021
Alternating-time temporal logics with linear past
L Bozzelli, A Murano, L Sorrentino
Theoretical Computer Science 813, 199-217, 2020
12020
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
12019
Results on alternating-time temporal logics with linear past
L Bozzelli, A Murano, L Sorrentino
25th International Symposium on Temporal Representation and Reasoning (TIME …, 2018
12018
Additional Winning Strategies in Reachability Games
V Malvone, A Murano, L Sorrentino
Fundamenta Informaticae 20, 1-20, 2017
12017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20