1 paper · 1 filter
Laura Lützow, Matthias Althoff
Reachability analysis is a powerful tool for computing the set of states or outputs reachable for a system. While previous work has focused on systems described by state-space mode…