On promptness in parity games F Mogavero, A Murano, L Sorrentino Fundamenta Informaticae 139 (3), 277-305, 2015 | 31 | 2015 |
Games with additional winning strategies. V Malvone, A Murano, L Sorrentino CILC 15, 1-6, 2015 | 19 | 2015 |
Reasoning about graded strategy quantifiers V Malvone, F Mogavero, A Murano, L Sorrentino Information and Computation 259, 390-411, 2018 | 16 | 2018 |
Hiding actions in multi-player games V Malvone, A Murano, L Sorrentino Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 14 | 2017 |
Concurrent Multi-Player Parity Games. V Malvone, A Murano, L Sorrentino AAMAS 16, 689-697, 2016 | 14 | 2016 |
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 | 13 | 2020 |
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 | 13 | 2014 |
On the counting of strategies V Malvone, F Mogavero, A Murano, L Sorrentino 2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015 | 12 | 2015 |
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 | 10 | 2020 |
Additional winning strategies in reachability games V Malvone, A Murano, L Sorrentino Fundamenta Informaticae 159 (1-2), 175-195, 2018 | 10 | 2018 |
A Game-based Model for Human-robots Interaction. A Murano, L Sorrentino WOA 15, 146-150, 2015 | 10 | 2015 |
Alternating-time temporal logics with linear past L Bozzelli, A Murano, L Sorrentino Theoretical Computer Science 813, 199-217, 2020 | 9 | 2020 |
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 | 9 | 2019 |
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 | 8 | 2019 |
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 | 6 | 2020 |
Improving parity games in practice A Di Stasio, A Murano, V Prignano, L Sorrentino Annals of Mathematics and Artificial Intelligence 89, 551-574, 2021 | 5 | 2021 |
Hierarchical cost-parity games L Bozzelli, A Murano, G Perelli, L Sorrentino Theoretical Computer Science 847, 147-174, 2020 | 5 | 2020 |
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 | 5 | 2017 |
Hiding actions in concurrent games V Malvone, A Murano, L Sorrentino ECAI 2016, 1686-1687, 2016 | 5 | 2016 |
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 | 4 | 2021 |