Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic

Mohit Srinivasan, Samuel Coogan, Magnus Egerstedt. Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic. In 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018. pages 1991-1996, IEEE, 2018. [doi]

Authors

Mohit Srinivasan

This author has not been identified. Look up 'Mohit Srinivasan' in Google

Samuel Coogan

This author has not been identified. Look up 'Samuel Coogan' in Google

Magnus Egerstedt

This author has not been identified. Look up 'Magnus Egerstedt' in Google