Sanja Zivanovic Gonzalez

According to our database, Sanja Zivanovic Gonzalez authored at least 7 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Rigorous Function Calculi in Ariadne.

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

CoRR, 2023

2020

Higher Order Method for Differential Inclusions.

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

CoRR, 2020

A computable and compositional semantics for hybrid automata.

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

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2019

Rigorous Continuous Evolution of Uncertain Systems.

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

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2017

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne.

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

Proceedings of the Testing Software and Systems, 2017

2011

Dynamics with a Range of Choice.

Lev Kapitanski, Sanja Zivanovic

Reliab. Comput., 2011

2010

Numerical solutions to noisy systems.

Sanja Zivanovic, Pieter Collins

Proceedings of the 49th IEEE Conference on Decision and Control, 2010