235 citations · 330 across the 12 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2017
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on propertie…
eess.SY2016★ 3 cited
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems
Tommaso Dreossi
Sapo is a C++ tool for the formal analysis of polynomial dynamical systems. Its main features are: 1) Reachability computation, i.e., the calculation of the set of states reachable…
eess.SY2013★ 1 cited
Approximated Symbolic Computations over Hybrid Automata
Alberto Casagrande, Tommaso Dreossi, Carla Piazza
Hybrid automata are a natural framework for modeling and analyzing systems which exhibit a mixed discrete continuous behaviour. However, the standard operational semantics defined…