Name Card

Full name Familienname, Vorname
GEATTI, Luca
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Chiari, Michele ; Geatti, Luca ; Gigante, Nicola ; Pradella, Matteo SMT-Based Symbolic Model-Checking for Operator Precedence LanguagesInproceedings Konferenzbeitrag 2024
215_Reactive Synthesis from Extended Bounded Response LTL Specifications.pdf.jpgCimatti, Alessandro ; GEATTI, Luca ; Gigante, Nicola ; MONTANARI, Angelo ; Tonetta, Stefano Reactive Synthesis from Extended Bounded Response LTL SpecificationsInproceedings Konferenzbeitrag 2020