Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties.
Journal Article
Overview
publication date
- January 1, 2015
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Ravanbakhsh H; Sankaranarayanan S
author count
- 2
Additional Document Info
volume
- abs/1505.01180