Michael Chinn

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 2

Top Topics

Relational Calculus

Robotic Systems

Spatio Temporal

Top Venues

ESEC/SIGSOFT FSE

Publications

Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, Sebastian G. Elbaum
PHYSFRAME: type checking physical frames of reference for robotic systems. ESEC/SIGSOFT FSE (2021)
Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, Sebastian G. Elbaum
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems. CoRR (2021)
James Sean Humbert, Andrew Maxwell Hyslop, Michael Chinn
Experimental validation of wide-field integration methods for autonomous navigation. IROS (2007)