Luca Geatti
- Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)
2022/04/28 by Luca Geatti, Alessandro Gianola, Geatti, Luca +3 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- The Σ-Chain Product: A Succinct Model of Automata (De)Composition (Extended Version)
2026/07/18 by Roberto Borelli, Davide Bresolin, Luca Geatti +2 · 1 voice
#cs.FL #cs.LO