Paolo Felli, M.M. (2022). Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic [10.1609/aaai.v36i5.20505].

Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic

Paolo Felli;
2022

2022
Proceedings of the 2022 AAAI Conference on Artificial Intelligence, AAAI 2022
5642
5650
Paolo Felli, M.M. (2022). Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic [10.1609/aaai.v36i5.20505].
Paolo Felli, Marco Montali, Sarah Winkler
File in questo prodotto:
File Dimensione Formato  
20220628.pdf

accesso riservato

Tipo: Versione (PDF) editoriale
Licenza: Licenza per accesso riservato
Dimensione 192.39 kB
Formato Adobe PDF
192.39 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/906670
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 18
  • ???jsp.display-item.citation.isi??? 9
social impact