Reactive synthesis for finite tasks under resource constraints Conference Proceeding uri icon

Overview

publication date

  • September 24, 2017

Full Author List

  • He K; Lahijanian M; Kavraki LE; Vardi MY

Other Profiles