Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling 0001. Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). Inf. Comput., 289(Part):104937, 2022. [doi]

Abstract

Abstract is missing.