Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

Article Details
Title:	Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
Article URLs:	https://doi.org/10.1145/3178126.3178128
Alternative Article URLs:
Authors:	Sergiy Bogomolov	Australian National University
	Marcelo Forets	Univ. Grenoble Alpes, VERIMAG
	Goran Frehse	Univ. Grenoble Alpes, VERIMAG
	Frédéric Viry	Univ. Grenoble Alpes, VERIMAG
	Andreas Podelski	University of Freiburg
	Christian Schilling	University of Freiburg
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://github.com/JuliaReach
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/hybrid/BogomolovFFVPS18
Author Comments:

ACM Intl. Conf. on Hybrid Systems: Computation and Control, HSCC 2018