Introducing robust reachability
From MaRDI portal
Publication:6632204
DOI10.1007/s10703-022-00402-xMaRDI QIDQ6632204
Sébastien Bardin, Benjamin Farinier, Guillaume Girol
Publication date: 4 November 2024
Published in: Formal Methods in System Design (Search for Journal in Brave)
This page was built for publication: Introducing robust reachability