Data di Pubblicazione:
2025
Citazione:
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].
Tipologia CRIS:
Relazione in Atti di Convegno
Elenco autori:
Catta, Davide; Ferrando, Angelo; Malvone, Vadim
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025)
Pubblicato in: