Compositional construction of approximate abstractions

From MaRDI portal
Publication:2988917

DOI10.1145/2728606.2728615zbMath1364.93286OpenAlexW2153821488MaRDI QIDQ2988917

Majid Zamani, Matthias Rungger

Publication date: 19 May 2017

Published in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2728606.2728615




Related Items (9)




Cites Work




This page was built for publication: Compositional construction of approximate abstractions