Monitoring Arithmetic Temporal Properties on Finite Traces / Felli P.; Montali M.; Patrizi F.; Winkler S.. - ELETTRONICO. - 37:(2023), pp. 6346-6354. (Intervento presentato al convegno Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023) tenutosi a Washington DC nel 7-14 Febbraio 2023).
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
25781-Article Text-29844-1-2-20230626-1.pdf
accesso riservato
Tipo:
Versione (PDF) editoriale
Licenza:
Licenza per accesso riservato
Dimensione
257.99 kB
Formato
Adobe PDF
|
257.99 kB | Adobe PDF | Visualizza/Apri Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.