Recent results on computable and compositional semantics for hybrid systems
Contributo in Atti di convegno
Data di Pubblicazione:
2025
Tipologia CRIS:
04.01 - Contributo in atti di convegno
Elenco autori:
Bresolin, D.; Collins, P.; Geretti, L.; Segala, R.; Villa, T.
Link alla scheda completa:
Titolo del libro:
Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis
Pubblicato in: