MELANI, BEATRICE
MELANI, BEATRICE
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
2025-01-01 Melani, Beatrice; Bartocci, Ezio; Chiari, Michele
Lane Change in Automated Driving: An Explicit Coordination Strategy
2023-01-01 Falsone, A.; Melani, B.; Prandini, M.
Logical Architecture Optimization via a Markov chain based Hierarchical Clustering Method
2024-01-01 Melani, Beatrice; Fabbroni, Davide; Manieri, Lucrezia; Falsone, Alessandro; Prandini, Maria