related documents Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks Conference Proceeding Optimal Cost-Preference Trade-Off Planning with Multiple Temporal Tasks Conference Proceeding
