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

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Author(s): Bogomolov S, Forets F, Frehse G, Viry F, Podelski A, Schilling C

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control

Year of Conference: 2018

Pages: 41–50

Print publication date: 11/04/2018

Acceptance date: 19/12/2017

Publisher: ACM

URL: https://doi.org/10.1145/3178126.3178128

DOI: 10.1145/3178126.3178128

Library holdings: Search Newcastle University Library for this item

ISBN: 9781450356428

ePrints