2 citations · 2 across the 4 of their papers we have counts for
4 papers
Rigorous Function Calculi in Ariadne
Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez +2
Almost all problems in applied mathematics, including the analysis of dynamical systems, deal with spaces of real-valued functions on Euclidean domains in their formulation and sol…
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package
Luigi Capogrosso, Luca Geretti, Marco Cristani +2
BDDs are representations of a Boolean expression in the form of a directed acyclic graph. BDDs are widely used in several fields, particularly in model checking and hardware verifi…
Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods
Omar Radwan, Yilin Zhang, Luca Geretti
Discrete Search of integer spaces for tool parameter values provides a powerful methodology for modeling and finding a heuristically optimal parameter list for a given system. Curr…
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…