Beatrice Melani

According to our database¹, Beatrice Melani authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators.

[BibT_eX]

[DOI]

CoRR, July, 2025

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators: Artifact.

[BibT_eX]

[DOI]

Dataset, July, 2025

2023

Lane Change in Automated Driving: An Explicit Coordination Strategy.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023