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

Overview

publication date

  • January 1, 2015

Full Author List

  • Kim K; Fainekos GE; Sankaranarayanan S

Additional Document Info

start page

  • 1515

end page

  • 1535

volume

  • 34