notesum.ai

Published at November 21

Formal Simulation and Visualisation of Hybrid Programs

eess.SY
cs.PL

Released Date: November 21, 2024

Authors: Pedro Mendes1, Ricardo Correia1, Renato Neves2, José Proença3

Aff.: 1University of Minho, Portugal; 2INESC-TEC & University of Minho, Portugal; 3CISTER, Faculty of Sciences of the University of Porto, Portugal

Arxiv: http://arxiv.org/abs/2411.14365v1