Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks
Karan Muvvala,Morteza Lahijanian,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 achieve a complex task expressed in linear temporal logic. Our framework generates reactive strategies that not only guarantee task completion but also seek cooperation with the human when possible. We model the interact...
