My research is at the intersection of machine learning, control theory, and formal methods. The main theme of my work is safety and soundness, and the emphasis is on safe autonomy through correct-by-construction algorithmic approaches to robotic, aerospace, and cyber-physical systems.
keywords
Safe AI, machine learning, formal verification, formal synthesis, hybrid systems, planning under uncertainty, motion planning, model checking, dynamics
Social Trust: a Major Challenge for the Future of Autonomous Systems.
Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee....
2016
