Runtime Verification with Rational Multi-Monitors / Catta, Davide; Ferrando, Angelo; Malvone, Vadim. - 413:(2025), pp. 1583-1590. ( 28th European Conference on Artificial Intelligence, ECAI 2025, including 14th Conference on Prestigious Applications of Intelligent Systems, PAIS 2025 Bologna, ITALY 25-30/11/2025) [10.3233/FAIA250983].

Runtime Verification with Rational Multi-Monitors

Angelo Ferrando;
2025
2025
28th European Conference on Artificial Intelligence, ECAI 2025, including 14th Conference on Prestigious Applications of Intelligent Systems, PAIS 2025
Bologna, ITALY
25-30/11/2025
2-s2.0-105024451444
413
1583
1590
Catta, Davide; Ferrando, Angelo; Malvone, Vadim
Runtime Verification with Rational Multi-Monitors / Catta, Davide; Ferrando, Angelo; Malvone, Vadim. - 413:(2025), pp. 1583-1590. ( 28th European Conference on Artificial Intelligence, ECAI 2025, including 14th Conference on Prestigious Applications of Intelligent Systems, PAIS 2025 Bologna, ITALY 25-30/11/2025) [10.3233/FAIA250983].
File in questo prodotto:
File Dimensione Formato  
FAIA-413-FAIA250983.pdf

Open access

Tipologia: VOR - Versione pubblicata dall'editore
Licenza: [IR] creative-commons
Dimensione 366.99 kB
Formato Adobe PDF
Visualizza/Apri
366.99 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

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