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).

Monitoring Arithmetic Temporal Properties on Finite Traces

Felli P.;
2023

2023
Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023)
6346
6354
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).
Felli P.; Montali M.; Patrizi F.; Winkler S.
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/943273
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact