I am currently a 4th year Ph.D student in
's Group at
I am affiliated with Autonomous Systems Lab
and the LTLMoP Project
. My current research focuses on dealing with unexpected events during correct-by-construction controller execution and extending the use of correct-by-construction controllers to multi-agent scenarios.
Please let me know if you find any bugs or typos here. Thanks.
Email: kw358 AT cornell DOT edu