1 code implementation • 6 Feb 2023 • Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
We formulate the problem as a two agent zero-sum game in which the adversary picks the sequence of subtasks.