Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis Journal Article uri icon

Overview

publication date

  • April 1, 2019

Date in CU Experts

  • February 1, 2019 8:36 AM

Full Author List

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

author count

  • 4

Other Profiles

Electronic International Standard Serial Number (EISSN)

  • 2377-3766

Additional Document Info

start page

  • 285

end page

  • 292

volume

  • 4

issue

  • 2