Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks.

Karan Muvvala Morteza Lahijanian

Published in: IROS (2023)

Keyphrases

cost effective
application scenarios
strengths and weaknesses
computer vision
case study
high level
data structure
computationally expensive