no code implementations • 29 Jan 2018 • Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry
Approximating the set of reachable states of a dynamical system is an algorithmic yet mathematically rigorous way to reason about its safety.
Systems and Control Dynamical Systems