Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks.

Karan Muvvala, Morteza Lahijanian

Browse the full IROS paper archive.