default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuca Geatti
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[c30]Luca Geatti, Alessandro Gianola, Nicola Gigante:
First-Order Automata. AAAI 2025: 14940-14948- [c29]Roberto Borelli, Luca Geatti, Marco Montali, Angelo Montanari:
On Cascades of Reset Automata. STACS 2025: 20:1-20:22 - 2024
- [j8]Alessandro Cimatti, Luca Geatti
, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis. Formal Methods Syst. Des. 64(1): 1-49 (2024) - [j7]Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato:
SAT Meets Tableaux for Linear Temporal Logic Satisfiability. J. Autom. Reason. 68(2): 6 (2024) - [j6]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti:
Controller Synthesis for Timeline-based Games. Log. Methods Comput. Sci. 20(3) (2024) - [j5]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. Softw. Syst. Model. 23(2): 427-453 (2024) - [j4]Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti:
Cascade products and Wheeler automata. Theor. Comput. Sci. 1013: 114754 (2024) - [c28]Luca Geatti, Marco Montali, Andrey Rivkin:
Foundations of Reactive Synthesis for Declarative Process Specifications. AAAI 2024: 17416-17425 - [c27]Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella:
SMT-Based Symbolic Model-Checking for Operator Precedence Languages. CAV (1) 2024: 387-408 - [c26]Luca Geatti, Alessio Mansutti, Angelo Montanari:
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. FoSSaCS (2) 2024: 95-115 - [c25]Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno:
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring. IJCAI 2024: 3270-3280 - [c24]Andrea Brunello, Riccardo Ferrarese, Luca Geatti, Enrico Marzano, Angelo Montanari, Nicola Saccomanno:
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation. OVERLAY 2024: 103-110 - [c23]Renato Acampora, Dario Della Monica, Luca Geatti, Nicola Gigante, Angelo Montanari, Pietro Sala:
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. GandALF 2024: 5-18 - [i10]Luca Geatti, Alessio Mansutti, Angelo Montanari:
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version). CoRR abs/2401.09860 (2024) - [i9]Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella:
SMT-based Symbolic Model-Checking for Operator Precedence Languages. CoRR abs/2405.11327 (2024) - [i8]Luca Geatti, Alessandro Gianola, Nicola Gigante:
A General Automata Model for First-Order Temporal Logics (Extended Version). CoRR abs/2405.20057 (2024) - 2023
- [j3]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
GR(1) is equivalent to R(1). Inf. Process. Lett. 179: 106319 (2023) - [j2]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterization of safety and co-safety languages. Log. Methods Comput. Sci. 19(3) (2023) - [c22]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. AAAI 2023: 6236-6244 - [c21]Luca Geatti, Marco Montali, Andrey Rivkin:
Foundations of Collaborative sfDECLARE. BPM (Forum) 2023: 55-72 - [c20]Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler:
Decidable Fragments of LTLf Modulo Theories. ECAI 2023: 811-818 - [c19]Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti:
A Linear-size Cascade Decomposition for Wheeler Automata. ICTCS 2023: 181-191 - [c18]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. KR 2023: 65-74 - [c17]Luca Geatti, Angelo Montanari, Nicola Saccomanno:
Towards Machine Learning Enhanced LTL Monitoring. OVERLAY@AI*IA 2023: 13-19 - [c16]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo:
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. OVERLAY@AI*IA 2023: 85-92 - [c15]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. TIME 2023: 2:1-2:14 - [c14]Luca Geatti, Alessandro Gianola, Nicola Gigante:
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). TIME 2023: 21:1-21:3 - [c13]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari:
Qualitative past Timeline-Based Games (Extended Abstract). TIME 2023: 22:1-22:3 - [i7]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti:
Controller Synthesis for Timeline-based Games. CoRR abs/2307.12289 (2023) - [i6]Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler:
Decidable Fragments of LTLf Modulo Theories (Extended Version). CoRR abs/2307.16840 (2023) - 2022
- [c12]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterisation of safety and co-safety languages. FoSSaCS 2022: 244-263 - [c11]Luca Geatti, Alessandro Gianola, Nicola Gigante:
Linear Temporal Logic Modulo Theories over Finite Traces. IJCAI 2022: 2641-2647 - [c10]Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti:
Controller Synthesis for Timeline-based Games. GandALF 2022: 131-146 - [e1]Luca Geatti, Guido Sciavicco, Alessandro Umbrico:
Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022. CEUR Workshop Proceedings 3311, CEUR-WS.org 2022 [contents] - [i5]Luca Geatti, Alessandro Gianola, Nicola Gigante:
Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version). CoRR abs/2204.13693 (2022) - [i4]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterization of safety and co-safety languages. CoRR abs/2209.02307 (2022) - [i3]Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. CoRR abs/2211.14913 (2022) - [i2]Luca Geatti, Marco Montali, Andrey Rivkin:
Reactive Synthesis for DECLARE via symbolic automata. CoRR abs/2212.10875 (2022) - 2021
- [j1]Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds:
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past. Inf. Comput. 278: 104599 (2021) - [c9]Luca Geatti, Nicola Gigante, Angelo Montanari:
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. OVERLAY@GandALF 2021: 7-12 - [c8]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM 2021: 351-371 - [c7]Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato:
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. TIME 2021: 8:1-8:17 - [c6]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Expressiveness of Extended Bounded Response LTL. GandALF 2021: 152-165 - 2020
- [c5]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD 2020: 83-92 - [c4]Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta:
Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) 2020: 155-172 - [i1]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR abs/2008.05335 (2020)
2010 – 2019
- 2019
- [c3]Luca Geatti, Federico Igne, Marino Miculan:
An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. ICTCS 2019: 171-183 - [c2]Luca Geatti, Nicola Gigante, Angelo Montanari:
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. TABLEAUX 2019: 3-20 - 2018
- [c1]Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds:
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF 2018: 176-190
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-21 00:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
