Recent results on computable and compositional semantics for hybrid systems

Bresolin D.;
2025
2025
Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis
CEUR WORKSHOP PROCEEDINGS
6th International Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis
2-s2.0-85216667159
04.01 - Contributo in atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

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/11577/3551241
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact