E-LIB Suche - Ergebnisse für: Sorrentino, Loredana

1

Improving parity games in practice:

Di Stasio, Antonio ; Murano, Aniello ; Prignano, Vincenzo.
Annals of Mathematics and Artificial Intelligence. 89 (2021) 5-6 - p. 551-574 , 2021

Link: https://doi.org/10.1007/..

2

Smart Destination-Based Parking for the Optimization of Wai..:

, In: Advances in Intelligent Systems and Computing; Web, Artificial Intelligence and Network Applications,

Balzano, Marco ; Balzano, Walter ; Sorrentino, Loredana. - p. 1019-1027 , 2020

Link: https://doi.org/10.1007/..

3

Alternating-time temporal logics with linear past:

Bozzelli, Laura ; Murano, Aniello ; Sorrentino, Loredana
Theoretical Computer Science. 813 (2020) - p. 199-217 , 2020

Link: https://doi.org/10.1016/..

4

Model-checking graded computation-tree logic with finite pa..:

Murano, Aniello ; Parente, Mimmo ; Rubin, Sasha.
Theoretical Computer Science. 806 (2020) - p. 577-586 , 2020

Link: https://doi.org/10.1016/..

5

Hierarchical cost-parity games:

Bozzelli, Laura ; Murano, Aniello ; Perelli, Giuseppe.
Theoretical Computer Science. 847 (2020) - p. 147-174 , 2020

Link: https://doi.org/10.1016/..

6

Toward a multilevel scalable parallel Zielonka's algorithm ..:

D'Amore, Luisa ; Murano, Aniello ; Sorrentino, Loredana..
Concurrency and Computation: Practice and Experience. 33 (2020) 4 - p. , 2020

Link: https://doi.org/10.1002/..

7

Behavioral Clustering: A New Approach for Traffic Congestio..:

, In: Advances in Intelligent Systems and Computing; Web, Artificial Intelligence and Network Applications,

Balzano, Walter ; Murano, Aniello ; Sorrentino, Loredana. - p. 1418-1427 , 2020

Link: https://doi.org/10.1007/..

8

A Smart Compact Traffic Network Vision Based on Wave Repres..:

, In: Advances in Intelligent Systems and Computing; Web, Artificial Intelligence and Network Applications,

Balzano, Walter ; Murano, Aniello ; Sorrentino, Loredana. - p. 870-879 , 2019

Link: https://doi.org/10.1007/..

9

Network Signal Comparison Through Waves Parameters: a Local..:

, In: 2019 IEEE International Symposium on Measurements & Networking (M&N),

Balzano, Walter ; Murano, Aniello ; Sorrentino, Loredana. - p. 1-6 , 2019

Link: https://doi.org/10.1109/..

10

Reasoning about graded strategy quantifiers:

Malvone, Vadim ; Mogavero, Fabio ; Murano, Aniello.
Information and Computation. 259 (2018) - p. 390-411 , 2018

Link: https://doi.org/10.1016/..

11

Cycle detection in computation tree logic:

Fontaine, Gaëlle ; Mogavero, Fabio ; Murano, Aniello..
Information and Computation. 262 (2018) - p. 265-279 , 2018

Link: https://doi.org/10.1016/..

12

Parallel Parity Games: a Multicore Attractor for the Zielon..:

Arcucci, Rossella ; Marotta, Umberto ; Murano, Aniello.
Procedia Computer Science. 108 (2017) - p. 525-534 , 2017

Link: https://doi.org/10.1016/..

13

Hiding Actions in Multi-Player Games:

, In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems,

Malvone, Vadim ; Murano, Aniello ; Sorrentino, Loredana - p. 1205-1213 , 2017

Link: https://dl.acm.org/doi/1..

14

Concurrent Multi-Player Parity Games:

, In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,

Malvone, Vadim ; Murano, Aniello ; Sorrentino, Loredana - p. 689-697 , 2016

Link: https://dl.acm.org/doi/1..

15

Results on Alternating-Time Temporal Logics with Linear Pas:

Bozzelli, Laura ; Murano, Aniello ; Sorrentino, Loredana
doi:10.4230/LIPIcs.TIME.2018.6. , 2018

Link: https://doi.org/10.4230/..