Dettaglio pubblicazione
2021, KR 2021, Pages -
Timed Trace Alignment with Metric Temporal Logic over Finite Traces (04b Atto di convegno in volume)
De Giacomo Giuseppe, Murano Aniello, Patrizi Fabio, Perelli Giuseppe
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords