On the minimal revision problem of specification automata Journal Article uri icon

Overview

publication date

  • October 1, 2015

Full Author List

  • Kim K; Fainekos G; Sankaranarayanan S

Other Profiles

Additional Document Info

start page

  • 1515

end page

  • 1535

volume

  • 34

issue

  • 12