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

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

*Corresponding author for this work

Research output: Contribution to journal › Journal article › Research › peer-review

2 Citations (Scopus)
35 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)'. Together they form a unique fingerprint.

Computer Science

Keyphrases