Scalable lazy SMT-based motion planning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada. Scalable lazy SMT-based motion planning. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 6683-6688, IEEE, 2016. [doi]

This author has not been identified. Look up 'Yasser Shoukry' in GoogleThis author has not been identified. Look up 'Pierluigi Nuzzo' in GoogleThis author has not been identified. Look up 'Indranil Saha' in GoogleThis author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in GoogleThis author has not been identified. Look up 'Sanjit A. Seshia' in GoogleThis author has not been identified. Look up 'George J. Pappas' in GoogleThis author has not been identified. Look up 'Paulo Tabuada' in Google

runs on WebDSL