Merge pull request #32 from MuvvalaKaran/main

Updated References with DOIs and added personal profile description
aria-systems-group · Dec 16, 2023 · 5232ade · 5232ade
2 parents f922b49 + 7de99d4
commit 5232ade
Show file tree

Hide file tree

Showing 2 changed files with 36 additions and 22 deletions.
diff --git a/_bibliography/references.bib b/_bibliography/references.bib
@@ -703,9 +703,9 @@ @inproceedings{Berger:NeurIPS:2022
   author={Berger, Guillaume O and Narasimhamurthy, Monal and Watanabe, Kandai and Lahijanian, Morteza and Sankaranarayanan, Sriram},
   booktitle={Advances in Neural Information Processing Systems (NeurIPS)},
   url={},
-  publisher={},
+  publisher={Curran Associates, Inc.},
   year={2022},
-  pages={},
+  pages={30419--30431},
   address = {New Orleans, Louisiana, USA},
   month = {Nov.},
   note={},
@@ -717,9 +717,10 @@ @inproceedings{Mazouz:NeurIPS:2022
   author={Mazouz, Rayan and Muvvala, Karan and Ratheesh Babu, Akash and Laurenti, Luca and Lahijanian, Morteza},
   booktitle={Advances in Neural Information Processing Systems (NeurIPS)},
   url={https://arxiv.org/abs/2206.07811},
-  publisher={},
+  publisher={Curran Associates, Inc.},
   year={2022},
-  pages={},
+  volume={35},
+  pages={9672--9686},
   address = {New Orleans, Louisiana, USA},
   month = {Nov.},
   note={},
@@ -734,10 +735,11 @@ @inproceedings{Ho:ICRA:2023
   booktitle={International Conference on Robotics and Automation (ICRA)},
   publisher = {IEEE},
   year={2023},
-  pages={},
+  pages={5723-5729},
   address= {London, England, UK},
   month= {May},
   note={},
+  doi={10.1109/ICRA48891.2023.10160897},
   bibkey= {safe-navigation},
 }
 
@@ -748,10 +750,11 @@ @inproceedings{Ilyes:ICRA:2023
   booktitle={International Conference on Robotics and Automation (ICRA)},
   publisher = {IEEE},
   year = {2023},
-  pages={},
+  pages={5716-5722},
   address= {London, England, UK},
   month= {May},
   note={},
+  doi={10.1109/ICRA48891.2023.10161409},
   bibkey = {safe-navigation},
 }
 
@@ -762,10 +765,11 @@ @inproceedings{Theurkauf:ICRA:2023
   booktitle={International Conference on Robotics and Automation (ICRA)},
   publisher = {IEEE},
   year = {2023},
-  pages={},
+  pages={7944-7950},
   address= {London, England, UK},
   month= {May},
   note={},
+  doi={10.1109/ICRA48891.2023.10160940},
   bibkey = {optimal-tradeoff},
 }
 
@@ -780,6 +784,8 @@ @inproceedings{Delimpaltadakis:HSCC:2023
   address= {San Antonio, TX, USA},
   month= {May},
   note={},
+  isbn={9798400700330},
+  doi={10.1145/3575870.3587117},
   bibkey = {synth-ml},
 }
 
@@ -788,7 +794,7 @@ @inproceedings{McMahon:AeroConf:2023
   author={McMahon, Jay and Ahmed, Nisar and Lahijanian, Morteza and Amorese, Peter and Deka, Taralicin and Muvvala, Karan and Shakerin, Kian and Slack,Trevor and Wakayama, Shohei},
   booktitle={IEEE Aerospace Conference (AERO)},
   year={2023},
-  pages={1--11},
+  pages={1-11},
   organization={IEEE},
   address={Big Sky, MT, USA},
   bibkey = {coldtech},
@@ -802,52 +808,55 @@ @inproceedings{Watanabe:ICAPS:2023
   booktitle={International Conference on Automated Planning and Scheduling (ICAPS)},
   publisher = {AAAI},
   year = {2023},
-  pages={},
+  pages={639-647},
   address= {Prague, Czech Republic},
   month= {July},
-  note={(to appear)},
+  note={},
+  doi={10.1609/icaps.v33i1.27246},
   bibkey = {longterm-auv},
 }
 
 @inproceedings{Adams:ICML:2023,
   url = {https://arxiv.org/abs/2306.10742},
   title={BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming},
   author={Adams, Steven and Patane, Andrea and Lahijanian, Morteza and Laurenti, Luca},
-  booktitle={International Conference on Machine Learning},
+  booktitle={International Conference on Machine Learning (ICML)},
   year={2023},
-  pages={},
+  pages={133-151},
+  publisher={Association for Computing Machinery (ACM)},
   organization={},
   address={Honolulu, HI, USA},
   month= {July},
-  note={(to appear)},
+  note={},
+  doi={10.5555/3618408.3618415},
   bibkey = {synth-ml},
 }
 
 @inproceedings{Muvvala:IROS:2023,
-  url = {https://arxiv.org/abs/2303.03686},
+  url = {https://ieeexplore.ieee.org/document/10342496},
   author = {Muvvala, Karan and Lahijanian, Morteza},
   title = {Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks},
-  booktitle={2023 International Conference on Intelligent Robots and Systems (IROS)},
+  booktitle={2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
   publisher = {IEEE},
   year = {2023},
-  pages={},
+  pages={8666-8672},
   address= {Detroit, MI, USA},
   month= {October},
-  note={(accepted)},
+  doi={10.1109/IROS55552.2023.10342496},
   bibkey = {coldtech},
 }
 
 @inproceedings{Amorese:IROS:2023,
   url = {https://arxiv.org/abs/2306.13222},
   author = {Amorese, Peter and Lahijanian, Morteza},
   title = {Optimal Cost-Preference Trade-off Planning with Multiple Temporal Tasks},
-  booktitle={2023 International Conference on Intelligent Robots and Systems (IROS)},
+  booktitle={2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
   publisher = {IEEE},
   year = {2023},
-  pages={},
+  pages={2071-2077},
   address= {Detroit, MI, USA},
   month= {October},
-  note={(accepted)},
+  doi={10.1109/IROS55552.2023.10342351},
   bibkey = {coldtech},
 }
 
@@ -859,6 +868,7 @@ @ARTICLE{Skovbekk:LCSS:2023
   volume={},
   number={},
   pages={1-1},
+  month= {December},
   doi={10.1109/LCSYS.2023.3340621},
   url={https://arxiv.org/abs/2309.10702},
   bibkey = {synth-ml},
@@ -872,6 +882,7 @@ @article{Ho:RAL:2023
   note={(accepted)},
   doi={10.1109/LRA.2023.3340029},
   url={https://arxiv.org/abs/2304.06876},
+  month= {December},
   bibkey = {safe-navigation},
 }
 
@@ -885,5 +896,6 @@ @ARTICLE{Reed:LCSS:2023
   pages={1-1},
   doi={10.1109/LCSYS.2023.3340995},
   url={https://arxiv.org/abs/2309.06569},
+  month= {December},
   bibkey = {synth-ml},
 }
diff --git a/_people/karan.md b/_people/karan.md
@@ -5,11 +5,13 @@ ordering: 8
 email: [email protected]
 program: PhD Student
 status: current
-picture: /assets/images/karan_muuvala_304.jpg 
+picture: /assets/images/karan_muuvala_304.jpg
+picture-link: https://muvvalakaran.github.io/
+header-link: https://muvvalakaran.github.io/
 <!-- extra-picture: /assets/images/2019-griffin-karanmuwala-1-304x456.jpg -->
 generate-extra-page: false 
 excerpt_separator: <!--more-->
 picture-link: 
 header-link:  
 ---
-Hey, I am Karan, a first-year Ph.D. student in the Aerospace Engineering Dept. at CU. I did my undergrad in India and Master’s in Mechanical Engineering at CU Boulder. At ARIA Systems group I work on developing theories and algorithms that enable robots to operate safely, robustly, and efficiently in unknown and dynamic environments. Currently, I am working on _Verifying_ the safety of complex autonomous systems modeled as neural networks and guaranteeing their safety using Barrier Methods for Safe Autonomy. I am also working on _Synthesizing_ high-level strategies for a robotic manipulator operating in the presence of a human using game-theoretic approaches to enable more human-like behavior for robots. My current research interest includes Formal Methods, Verification and Planning for Autonomous systems, Game Theory, and Control Theory.
+Hey, I am Karan, a Ph.D. student in the Aerospace Engineering Dept. at CU. I did my undergrad in India and Master’s in Mechanical Engineering at CU Boulder. At ARIA Systems group, I work on developing theories and algorithms that enable robots to operate safely, robustly, and efficiently in unknown and dynamic environments. Currently, I am working on _Synthesizing_ high-level strategies for a robot operating in the presence of humans using game-theoretic approaches. I have also worked on _Verifying_ the safety of complex systems modeled as neural networks and guaranteeing their safety using Barrier Methods for Safe Autonomy. My current research interest includes Formal Methods, Verification and Planning for Autonomous systems, Game Theory, and Control Theory.