Return to Article Details Differential-dynamic logic for cooperative robotic systems Download Download PDF