CRIS Current Research Information System

Felli P., Montali M., Patrizi F., Winkler S. (2023). Monitoring Arithmetic Temporal Properties on Finite Traces.

Monitoring Arithmetic Temporal Properties on Finite Traces

Felli P.;
2023
2023
Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023)
6346
6354
Felli P., Montali M., Patrizi F., Winkler S. (2023). Monitoring Arithmetic Temporal Properties on Finite Traces.
Felli P.; Montali M.; Patrizi F.; Winkler S.
4.01 Contributo in Atti di convegno
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
  Visualizza/Apri   Contatta l'autore
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 6
  • ???jsp.display-item.citation.isi??? ND
social impact