Multi-Agent Reinforcement Learning with Epistemic Priors. - Thayne T. Walker; Jaime S. Ide; Minkyu Choi 001; Michael J. Guarino; Kevin Alcedo (CoDIT, 2023)

Towards Neuro-Symbolic Video Understanding. - Minkyu Choi 001; Harsh Goel; Mohammad Omama; Yunhao Yang; Sahil Shah; Sandeep Chinchali (ECCV (78), 2024)

PEERNet: An End-to-End Profiling Tool for Real-Time Networked Robotic Systems. - Aditya Narayanan; Pranav Kasibhatla; Minkyu Choi 001; Po-han Li; Ruihan Zhao 001; Sandeep Chinchali (IROS, 2024)

Neuro-Symbolic Video Search. - Minkyu Choi 001; Harsh Goel; Mohammad Omama; Yunhao Yang; Sahil Shah; Sandeep Chinchali (CoRR, 2024)

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification. - S. P. Sharan; Minkyu Choi 001; Sahil Shah; Harsh Goel; Mohammad Omama; Sandeep Chinchali (CVPR, 2025)

A Challenge to Build Neuro-Symbolic Video Agents. - Sahil Shah; Harsh Goel; Sai Shankar Narasimhan; Minkyu Choi 001; S. P. Sharan; Oguzhan Akcin; Sandeep Chinchali (NeuS, 2025)

We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback. - Minkyu Choi 001; S. P. Sharan; Harsh Goel; Sahil Shah; Sandeep Chinchali (CoRR, 2025)

Real-Time Privacy Preservation for Robot Visual Perception. - Minkyu Choi 001; Yunhao Yang; Neel P. Bhatt; Kushagra Gupta; Sahil Shah; Aditya Rai; David Fridovich-Keil; Ufuk Topcu; Sandeep P. Chinchali (CoRR, 2025)