GIGANTE, Nicola

GIGANTE, Nicola  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 18 di 18 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform 1-gen-2015 Policriti, Alberto; Gigante, Nicola; Prezza, Nicola
Complexity of qualitative timeline-based planning 1-gen-2020 Della Monica, D.; Gigante, N.; la Torre, S.; Montanari, A.
Complexity of timeline-based planning 1-gen-2017 Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea
A Conservative Approach for Describing Cancer Progression 1-gen-2022 Rossi, Nicolò; Gigante, Nicola; Vitacolonna, Nicola; Piazza, Carla
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 1-gen-2020 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Decidability and complexity of action-based temporal planning over dense time 1-gen-2022 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Expressiveness of Extended Bounded Response LTL 1-gen-2021 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
A game-theoretic approach to timeline-based planning with uncertainty 1-gen-2018 Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea; Reynolds, Mark
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau 1-gen-2016 Bertello, Matteo; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark
A New Tableau-based Satisfiability Checker for Linear Temporal Logic 1-gen-2016 Bertello, Matteo; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark
On timeline-based games and their complexity 1-gen-2020 Gigante, N.; Montanari, A.; Orlandini, A.; Cialdea Mayer, M.; Reynolds, M.
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 1-gen-2018 Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 1-gen-2020 Geatti, L.; Gigante, N.; Montanari, A.; Reynolds, M.
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 1-gen-2021 Geatti, L.; Gigante, N.; Montanari, A.; Venturato, G.
Planning basato su timeline: espressività e complessità 28-feb-2019 Gigante, Nicola
Reactive Synthesis from Extended Bounded Response LTL Specifications 1-gen-2020 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 1-gen-2019 Geatti, Luca; Gigante, Nicola; Montanari, Angelo
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 1-gen-2016 Gigante, Nicola; Montanari, Angelo; Cialdea Mayer, Marta; Orlandini, Andrea