MELANI, BEATRICE
MELANI, BEATRICE
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
| Titolo | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators | 1-gen-2025 | Melani, BeatriceChiari, Michele + | |
| Lane Change in Automated Driving: An Explicit Coordination Strategy | 1-gen-2023 | Falsone A.Melani B.Prandini M. |