ReviewFrontiers in robotics and AI2018

Toward Formal Models and Languages for Verifiable Multi-Robot Systems.

Rocco De Nicola et al.PubMed ↗Full text ↗Publisher ↗

No numbers read from the abstract.