Luca Geatti

Available identifiers

Publication	Date of Publication	Type
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis	2025-01-13	Paper
Expressiveness of extended bounded response \textsf{LTL}	2024-12-06	Paper
Succinctness of cosafety fragments of LTL via combinatorial proof systems	2024-10-30	Paper
Cascade products and Wheeler automata	2024-10-01	Paper
SAT meets tableaux for linear temporal logic satisfiability	2024-09-27	Paper
Controller synthesis for timeline-based games	2024-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q6191013	2024-02-08	Paper
A first-order logic characterisation of safety and co-safety languages	2024-01-23	Paper
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker	2023-10-02	Paper
A first-order logic characterization of safety and co-safety languages	2023-08-26	Paper
Fairness, assumptions, and guarantees for extended bounded response \textsf{LTL+P} synthesis	2023-05-26	Paper
\(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\)	2022-10-28	Paper
Safe decomposition of startup requirements: verification and synthesis	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q3384889	2021-12-17	Paper
One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)	2021-06-03	Paper
A SAT-based encoding of the one-pass and tree-shaped tableau system for LTL	2020-05-14	Paper

This page was built for person: Luca Geatti