Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks

7 March 2023

Papers citing "Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks"

2 / 2 papers shown

Title
Quantitative Strategy Templates Ashwani Anand Satya Prakash Nayak Ritam Raha Irmak Sağlam Anne-Kathrin Schmuck 17 0 0 23 Apr 2025
Stochastic Games for Interactive Manipulation Domains Karan Muvvala Andrew M. Wells Morteza Lahijanian Lydia E. Kavraki Moshe Y. Vardi 28 1 0 07 Mar 2024