System Software Engineer at Laza Medical, working on medical robotics.
> about.me
> current_work.sh
System Software Engineer
Working on some pretty cool robotics stuff at Laza Medical. I spend my days developing hardware-in-the-loop test plans and building wireless connectivity solutions between tablets and PCs using ROS. Recently set up data collection protocols for NDI sensors that made our data way more reliable. Also built a local Apt-Cache for Mender that made our development workflow super smooth. It's a fun mix of robotics, software, and problem-solving.
> publications.bib
Learning Verifiable Control Policies Using Relaxed Verification
To provide safety guarantees for learning-based control systems, recent work has developed formal verification methods to apply after training ends. However, if the trained policy does not meet the specifications, or there is conservatism in the verification algorithm, establishing these guarantees may not be possible. Instead, this work proposes to perform verification throughout training to ultimately aim for policies whose properties can be evaluated throughout runtime with lightweight, relaxed verification algorithms.
Read Paper
