50 citations · 171 across the 14 of their papers we have counts for
1 paper · 1 filter
Muhammad Waqas, Nikhil Vijay Naik, Petros Ioannou +1
We present a compositional control synthesis method based on assume-guarantee contracts with application to correct-by-construction design of vehicular mission plans. In our approa…