Luca Geatti

MaRDI QIDQ2029606zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis Formal Methods in System Design	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 Theoretical Computer Science	2024-10-01	Paper
SAT meets tableaux for linear temporal logic satisfiability Journal of Automated Reasoning	2024-09-27	Paper
Controller synthesis for timeline-based games Logical Methods in Computer Science	2024-09-04	Paper
Controller synthesis for timeline-based games (available as arXiv preprint)	2024-02-08	Paper
Controller synthesis for timeline-based games	2024-02-08	Paper
A first-order logic characterisation of safety and co-safety languages Lecture Notes in Computer Science	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 Logical Methods in Computer Science	2023-08-26	Paper
Fairness, assumptions, and guarantees for extended bounded response \textsf{LTL+P} synthesis Software Engineering and Formal Methods	2023-05-26	Paper
\(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\) Information Processing Letters	2022-10-28	Paper
Safe decomposition of startup requirements: verification and synthesis Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
scientific article; zbMATH DE number 7447742 (Why is no real title available?)	2021-12-17	Paper
scientific article; zbMATH DE number 7447742 (Why is no real title available?) (available as arXiv preprint)	2021-12-17	Paper
One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) Information and Computation	2021-06-03	Paper
A SAT-based encoding of the one-pass and tree-shaped tableau system for LTL	2020-05-14	Paper

Research outcomes over time

This page was built for person: Luca Geatti