The Reach-Avoid Problem for Constant-Rate Multi-mode Systems

DOI10.1007/978-3-319-68167-2_30zbMath1498.93031arXiv1707.04151MaRDI QIDQ5096103

Ashutosh Trivedi, Behrouz Touri, Shankara Narayanan Krishna, Fabio Somenzi, Aviral Kumar

Publication date: 12 August 2022

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.04151

Mathematics Subject Classification ID

93B03: Attainable sets, reachability

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)