Cikkek nyilvánosan hozzáférhető megbízással - Loredana SorrentinoTovábbi információ
Valahol hozzáférhető: 8
On promptness in parity games
F Mogavero, A Murano, L Sorrentino
Fundamenta Informaticae 139 (3), 277-305, 2015
Megbízások: European Commission
Games with additional winning strategies.
V Malvone, A Murano, L Sorrentino
CILC 15, 1-6, 2015
Megbízások: European Commission
Concurrent Multi-Player Parity Games.
V Malvone, A Murano, L Sorrentino
AAMAS 16, 689-697, 2016
Megbízások: European Commission, Government of Italy
On the counting of strategies
V Malvone, F Mogavero, A Murano, L Sorrentino
2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015
Megbízások: European Commission
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
Megbízások: Government of Italy
A Game-based Model for Human-robots Interaction.
A Murano, L Sorrentino
WOA 15, 146-150, 2015
Megbízások: European Commission
Improving parity games in practice
A Di Stasio, A Murano, V Prignano, L Sorrentino
Annals of Mathematics and Artificial Intelligence 89, 551-574, 2021
Megbízások: European Commission
Cycle detection in computation tree logic
G Fontaine, F Mogavero, A Murano, G Perelli, L Sorrentino
arXiv preprint arXiv:1609.04095, 2016
Megbízások: European Commission
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.