Sign in
Karan Muvvala
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 6
Top Topics
Continuous Variables
Upper Confidence Bound
Qualitative Models
Dynamic Systems
Top Venues
CoRR
ICRA
IROS
NeurIPS
</>
Publications
</>
Karan Muvvala
,
Morteza Lahijanian
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks.
IROS
(2023)
Karan Muvvala
,
Morteza Lahijanian
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks.
CoRR
(2023)
Karan Muvvala
,
Peter Amorese
,
Morteza Lahijanian
Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation.
ICRA
(2022)
Rayan Mazouz
,
Karan Muvvala
,
Akash Ratheesh
,
Luca Laurenti
,
Morteza Lahijanian
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions.
NeurIPS
(2022)
Rayan Mazouz
,
Karan Muvvala
,
Akash Ratheesh
,
Luca Laurenti
,
Morteza Lahijanian
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions.
CoRR
(2022)
Karan Muvvala
,
Peter Amorese
,
Morteza Lahijanian
Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation.
CoRR
(2022)