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 | 29 | 2016 |
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 | 27 | 2016 |
Complexity of timeline-based planning N Gigante, A Montanari, MC Mayer, A Orlandini Proceedings of the International Conference on Automated Planning and …, 2017 | 24 | 2017 |
A One-Pass Tree-Shaped Tableau for LTL+ Past. N Gigante, A Montanari, M Reynolds LPAR, 456-473, 2017 | 20 | 2017 |
Linear Temporal Logic Modulo Theories over Finite Traces. L Geatti, A Gianola, N Gigante IJCAI 22, 2641-2647, 2022 | 19 | 2022 |
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 | 18 | 2019 |
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 | 15 | 2021 |
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 | 15 | 2017 |
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 | 12 | 2021 |
Black: A fast, flexible and reliable ltl satisfiability checker L Geatti, N Gigante, A Montanari CEUR Workshop Proceedings 2987, 7-12, 2021 | 11 | 2021 |
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 | 10 | 2023 |
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 | 10 | 2021 |
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 | 10 | 2021 |
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 | 10 | 2020 |
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 | 9 | 2020 |
Timeline-based planning: Expressiveness and complexity N Gigante arXiv preprint arXiv:1902.06123, 2019 | 7 | 2019 |
On the compilability of bounded numeric planning N Gigante, E Scala Proceedings of the 32nd International Joint Conference on Artificial …, 2023 | 6 | 2023 |
Decidability and complexity of action-based temporal planning over dense time N Gigante, A Micheli, A Montanari, E Scala Artificial Intelligence 307, 103686, 2022 | 5 | 2022 |
Expressiveness of extended bounded response LTL A Cimatti, L Geatti, N Gigante, A Montanari, S Tonetta arXiv preprint arXiv:2109.08319, 2021 | 5 | 2021 |
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 | 5 | 2018 |