Infinite Horizon Safety Controller Synthesis through Disjunctive Polyhedral Abstract Interpretation
Conference Proceeding
Overview
publication date
- October 12, 2014
has restriction
- green
Date in CU Experts
- January 28, 2016 4:38 AM
Full Author List
- Ravanbakhsh H; Sankaranarayanan S
author count
- 2