![](https://media.springernature.com/w90/springer-static/cover/journal/10626/27/2.jpg?as=webp)
Volume 27, Issue 2
June 2017Special Issue on Formal Methods in Control
- Issue Editors:
-
- Necmiye Ozay,
- Paulo Tabuada
9 articles in this issue
Special Issue on Formal Methods in Control