Nicola Gigante

Available identifiers

zbMath Open gigante.nicolaMaRDI QIDQ2029607

List of research outcomes

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
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
Complexity of qualitative timeline-based planning	2023-11-02	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
https://portal.mardi4nfdi.de/entity/Q5079781	2022-05-28	Paper
Decidability and complexity of action-based temporal planning over dense time	2022-04-11	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
On timeline-based games and their complexity	2020-04-06	Paper
A One-Pass Tree-Shaped Tableau for LTL+Past	2019-01-10	Paper
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform	2016-04-08	Paper

Research outcomes over time

This page was built for person: Nicola Gigante