Lane Change in Automated Driving: An Explicit Coordination Strategy. - Alessandro Falsone; Beatrice Melani; Maria Prandini (IEEE Control. Syst. Lett., 2023)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators. - Beatrice Melani; Ezio Bartocci; Michele Chiari (CoRR, 2025)