8 citations · 8 across the 6 of their papers we have counts for
1 paper · 1 filter
Karan Muvvala, Morteza Lahijanian
This work introduces efficient symbolic algorithms for quantitative reactive synthesis. We consider resource-constrained robotic manipulators that need to interact with a human to…