Talks

Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks
Gave a talk on my Symbolic Reactive Synthesis work (IROS 23) at Dr. Vardi’s group at Rice University
Karan Muvvala
Apr 26, 2023
PDF Code Slides Video
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks
Regret games for manipulation reactive synthesis
Gave a talk on my MS Thesis work at Dr. Vardi’s group at Rice University
Karan Muvvala
Last updated on Oct 2, 2022
Slides
Regret games for manipulation reactive synthesis
Quantitative Reactive Synthesis for Manipulators via Games
Presented my work on quantitative reactive synthesis for robotic applications.
Karan Muvvala
Last updated on Oct 2, 2022
Slides
Quantitative Reactive Synthesis for Manipulators via Games