Login / Signup

Towards minimal explanations of unsynthesizability for high-level robot behaviors.

Vasumathi RamanHadas Kress-Gazit
Published in: IROS (2013)
Keyphrases