Controller synthesis made real: reach-avoid specifications and linear dynamics
From MaRDI portal
Publication:6045012
DOI10.1007/978-3-319-96145-3_19zbMath1511.68151MaRDI QIDQ6045012
Mahesh Viswanathan, Umang Mathur, Chuchu Fan, Sayan Mitra
Publication date: 26 May 2023
Published in: Computer Aided Verification (Search for Journal in Brave)
Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications ⋮ Optimal mixed discrete-continuous planning for linear hybrid systems
This page was built for publication: Controller synthesis made real: reach-avoid specifications and linear dynamics
