Sanja Zivanovic Gonzalez

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 6

Top Topics

Hybrid Automata

Adaptive Neural

Compositional Semantics

Top Venues

Publications

Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid systems. Inf. Comput. 300 (2024)
Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa
Rigorous Function Calculi in Ariadne. CoRR (2023)
Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa
Higher Order Method for Differential Inclusions. CoRR (2020)
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid automata. HSCC (2020)
Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa
Rigorous Continuous Evolution of Uncertain Systems. NSV@CAV (2019)
Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. ICTSS (2017)