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

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling

Published: 2022, Last Modified: 09 May 2023Inf. Comput. 2022Readers: Everyone
0 Replies