Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets
From MaRDI portal
Publication:6298454
arXiv1803.00622MaRDI QIDQ6298454
Mohamadreza Ahmadi, Murat Cubuktepe, Brandon Hencey, Ufuk Topcu
Publication date: 1 March 2018
This page was built for publication: Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets