Kyle Slovak

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Provably Correct

Specification Language

Multiresolution

Top Venues

Publications

Christopher Banks, Kyle Slovak, Samuel Coogan, Magnus Egerstedt
Specification-Based Maneuvering of Quadcopters Through Hoops. IROS (2019)