Kevin Leahy

Assistant Professor@Worcester Polytechnic Institute·美国·OpenReview

研究方向

Formal methods · robotics · multi-robot systems · learning from specifications · safety-critical systems · optimization · planning · control

发表论文（1 篇）

合作者 (2)