Name: Aditya Parameshwaran
Type: User
Company: Clemson University
Bio: PhD Candidate at Clemson University, researching on focus areas such as formal verification, autonomous vehicles and safe reinforcement learning
Blog: aditya-p.netlify.app
Aditya Parameshwaran's Projects
aditya's website
Packages for an Arduino controlled autonomous RC car
Intel® RealSense™ SDK
Maraboupy based codes for neurosymbolic verification
PathPlanning_Perception_Challenge for Salin147
Optimal Control algorithms to land a reusable rocket safely on a moving landing pad, subject to external disturbances and measurement noise
Code related to STL rule based navigation for ground mobile robots