Follow
Nicola Gigante
Title
Cited by
Cited by
Year
Timelines are expressive enough to capture action-based temporal planning
N Gigante, A Montanari, MC Mayer, A Orlandini
2016 23rd International Symposium on Temporal Representation and Reasoning …, 2016
292016
Leviathan: A new LTL satisfiability checking tool based on a one-pass tree-shaped tableau
M Bertello, N Gigante, A Montanari, M Reynolds
IJCAI-International Joint Conference onArtificial Intelligence, 950-956, 2016
272016
Complexity of timeline-based planning
N Gigante, A Montanari, MC Mayer, A Orlandini
Proceedings of the International Conference on Automated Planning and …, 2017
242017
A One-Pass Tree-Shaped Tableau for LTL+ Past.
N Gigante, A Montanari, M Reynolds
LPAR, 456-473, 2017
202017
Linear Temporal Logic Modulo Theories over Finite Traces.
L Geatti, A Gianola, N Gigante
IJCAI 22, 2641-2647, 2022
182022
A SAT-based encoding of the one-pass and tree-shaped tableau system for LTL
L Geatti, N Gigante, A Montanari
Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019
182019
One-pass and tree-shaped tableau systems for TPTL and TPTLb+ Past
L Geatti, N Gigante, A Montanari, M Reynolds
Information and Computation 278, 104599, 2021
152021
Bounded timed propositional temporal logic with past captures timeline-based planning with bounded constraints
D Della Monica, N Gigante, A Montanari, P Sala, G Sciavicco
IJCAI, 1008-1014, 2017
152017
Management of intracranial hypertension following traumatic brain injury: A best clinical practice adoption proposal for intracranial pressure monitoring and decompressive …
C Iaccarino, L Lippa, M Munari, CA Castioni, C Robba, A Caricato, ...
Journal of neurosurgical sciences 65 (3), 219-238, 2021
112021
Black: A fast, flexible and reliable ltl satisfiability checker
L Geatti, N Gigante, A Montanari
CEUR Workshop Proceedings 2987, 7-12, 2021
112021
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
A Cimatti, L Geatti, N Gigante, A Montanari, S Tonetta
Formal Methods in System Design, 1-49, 2021
102021
Past matters: Supporting LTL+ Past in the BLACK satisfiability checker
L Geatti, N Gigante, A Montanari, G Venturato
28th International Symposium on Temporal Representation and Reasoning (TIME …, 2021
102021
Decidability and complexity of action-based temporal planning over dense time
N Gigante, A Micheli, A Montanari, E Scala
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9859-9866, 2020
92020
Reactive synthesis from extended bounded response LTL specifications
A Cimatti, L Geatti, N Gigante, A Montanari, S Tonetta
# PLACEHOLDER_PARENT_METADATA_VALUE# 1, 83-92, 2020
92020
Complexity of safety and cosafety fragments of linear temporal logic
A Artale, L Geatti, N Gigante, A Mazzullo, A Montanari
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6236-6244, 2023
82023
Timeline-based planning: Expressiveness and complexity
N Gigante
arXiv preprint arXiv:1902.06123, 2019
72019
Decidability and complexity of action-based temporal planning over dense time
N Gigante, A Micheli, A Montanari, E Scala
Artificial Intelligence 307, 103686, 2022
52022
Expressiveness of extended bounded response LTL
A Cimatti, L Geatti, N Gigante, A Montanari, S Tonetta
arXiv preprint arXiv:2109.08319, 2021
52021
A novel automata-theoretic approach to timeline-based planning
D Della Monica, N Gigante, A Montanari, P Sala
Proceedings of the Sixteenth International Conference on Principles of …, 2018
52018
Average linear time and compressed space construction of the Burrows-Wheeler transform
A Policriti, N Gigante, N Prezza
International Conference on Language and Automata Theory and Applications …, 2015
52015
The system can't perform the operation now. Try again later.
Articles 1–20