Pubblicazioni

Cross-Burg algorithm for single-input two-outputs autoregressive modeling

2021 - IEEE SIGNAL PROCESSING LETTERS
Colonnese, S.; Conti, F.; Biagi, M.; Scarano, G.

Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification

2021 - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Mancini, T.; Melatti, I.; Tronci, E.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma