A computable and compositional semantics for hybrid automata

Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationHSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
Place of PublicationNew York
PublisherThe Association for Computing Machinery
Pages1-11
ISBN (Print)978-1-4503-7018-9
DOIs
Publication statusPublished - 2020
Event23rd International Conference on Hybrid Systems: Computation and ControlComputation and Control - Sydney, Australia
Duration: 21 Apr 202024 Apr 2020

Conference

Conference23rd International Conference on Hybrid Systems
Abbreviated titleHSCC 2020
CountryAustralia
CitySydney
Period21/04/2024/04/20

Cite this