Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada. Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. In 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017. pages 1132-1137, IEEE, 2017. [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 'Ayca Balkan' 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