12 citations · 21 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification
Jean-Francois Raskin, Davide Bresolin
This volume contains the proceedings of the 11th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2020). The symposium took place as a fully onlin…
math.NA2020★ 2 cited
Higher Order Method for Differential Inclusions
Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti +2
Uncertainty is unavoidable in modeling dynamical systems and it may be represented mathematically by differential inclusions. In the past, we proposed an algorithm to compute valid…