MELANI, BEATRICE
MELANI, BEATRICE
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 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
Logical Architecture Optimization via a Markov chain based Hierarchical Clustering Method
2024-01-01 Melani, Beatrice; Fabbroni, Davide; Manieri, Lucrezia; Falsone, Alessandro; Prandini, Maria