Login / Signup

Formal synthesis of supervisory control software for multiple robot systems.

J. GorycaRick C. Hill
Published in: ACC (2013)
Keyphrases