| 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 | 27 | 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, 950-956, 2016 | 24 | 2016 |
| Complexity of timeline-based planning N Gigante, A Montanari, MC Mayer, A Orlandini Proceedings of the International Conference on Automated Planning and …, 2017 | 23 | 2017 |
| A One-Pass Tree-Shaped Tableau for LTL+ Past. N Gigante, A Montanari, M Reynolds LPAR, 456-473, 2017 | 16 | 2017 |
| 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 | 14 | 2017 |
| 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 | 11 | 2021 |
| 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 | 9 | 2019 |
| Decidability and complexity of action-based temporal planning over dense time N Gigante, A Micheli, A Montanari, E Scala Artificial Intelligence 307, 103686, 2022 | 7 | 2022 |
| 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 | 7 | 2021 |
| 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 | 7 | 2020 |
| Expressiveness of extended bounded response LTL A Cimatti, L Geatti, N Gigante, A Montanari, S Tonetta arXiv preprint arXiv:2109.08319, 2021 | 5 | 2021 |
| Timeline-based planning: Expressiveness and Complexity N Gigante arXiv preprint arXiv:1902.06123, 2019 | 5 | 2019 |
| A novel automata-theoretic approach to timeline-based planning D Della Monica, N Gigante, A Montanari, P Sala Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 5 | 2018 |
| Average linear time and compressed space construction of the Burrows-Wheeler transform A Policriti, N Gigante, N Prezza Language and Automata Theory and Applications: 9th International Conference …, 2015 | 5 | 2015 |
| Linear temporal logic modulo theories over finite traces L Geatti, A Gianola, N Gigante Proc. of IJCAI, 2641-2647, 2022 | 4 | 2022 |
| 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 | 4 | 2021 |
| A game-theoretic approach to timeline-based planning with uncertainty N Gigante, A Montanari, MC Mayer, A Orlandini, M Reynolds arXiv preprint arXiv:1807.04837, 2018 | 4 | 2018 |
| Black: A fast, flexible and reliable ltl satisfiability checker L Geatti, N Gigante, A Montanari Proceedings of the 3rd Workshop on Artificial Intelligence and fOrmal …, 2021 | 3 | 2021 |
| On timeline-based games and their complexity N Gigante, A Montanari, A Orlandini, MC Mayer, M Reynolds Theoretical Computer Science 815, 247-269, 2020 | 2 | 2020 |
| Complexity of qualitative timeline-based planning D Della Monica, N Gigante, S La Torre, A Montanari 27th International Symposium on Temporal Representation and Reasoning (TIME …, 2020 | 2 | 2020 |
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
