Posts by Collection

inreviews

portfolio

preprints

publications

Towards a Biomimetic and Dexterous Robot Avatar: Design, Control, and Kinematics Considerations

[pdf] Best Latest Breaking Results Poster at 2020 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2020

Akash Harapanahalli*, Emil Muly*, Hogan Welch*, Timothy Brumfiel, Zhengyang Weng, Manzano Akhtar, Ahmed Abouelnasr, Austin Newland, James Bunting, Kevin McGorrey, Juo Lee, Gaorong Wang, Luke Drnach, Don Lee, Ye Zhao, "Towards a Biomimetic and Dexterous Robot Avatar: Design, Control, and Kinematics Considerations." Best Latest Breaking Results Poster at 2020 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2020.

A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems

[pdf] Appeared in 2nd Workshop on Formal Verification of Machine Learning (WFVML), 2023

Akash Harapanahalli, Saber Jafarpour, Samuel Coogan, "A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems." Appeared in 2nd Workshop on Formal Verification of Machine Learning (WFVML), 2023. https://www.ml-verification.com/accepted-papers#h.oidazcbmc48p

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.