Recent results on computable and compositional semantics for hybrid systems

Conference Paper

Publication Date:

2025

Iris type:

04.01 - Contributo in atti di convegno

List of contributors:

Authors of the University:

BRESOLIN DAVIDE

Handle:

Book title:

Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis

Published in:

Journal

Series