32 citations · 104 across the 17 of their papers we have counts for
17 papers
The -Chain Product: A Succinct Model of Automata (De)Composition (Extended Version)
Roberto Borelli, Davide Bresolin, Luca Geatti +2
The cascade product is a fundamental construction in automata theory, enabling hierarchical composition of automata and playing a central role in decomposition results such as the…
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…
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification
Pierre Ganty, Davide Bresolin
This volume contains the proceedings of the 12th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2021). The aim of GandALF 2021 symposium is to b…
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines
Davide Bresolin, Khaled El-Fakih, Tiziano Villa +1
There has been a growing interest in defining models of automata enriched with time, such as finite automata extended with clocks (timed automata). In this paper, we study determin…
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…
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…