Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties. Journal Article uri icon

Overview

publication date

  • January 1, 2015

Full Author List

  • Ravanbakhsh H; Sankaranarayanan S

Additional Document Info

volume

  • abs/1505.01180