Publications
Export 1 results:
Author Title Type [ Year![(Asc)](http://labrococo.diag.uniroma1.it/sites/all/modules/biblio/misc/arrow-asc.png)
Filters: Author is De Giacomo, Giuseppe and First Letter Of Title is T [Clear All Filters]
Temporal Logic Monitoring Rewards via Transducers,
, Volume {False}, Number {False}, p.860-870, (2020)