Minkyu Choi*, S P Sharan*, Sahil Shah, Harsh Goel, Mohammad Omama, and Sandeep Chinchali
Computer Vision and Pattern Recognition (CVPR), 2025
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
PEERNet: Benchmarking Networked Robotics on Wifi, 5G, and Beyond
Aditya Narayanan, Pranav Kasibhatla, Minkyu Choi, Po-han Li, Ruihan Zhao, Sandeep Chinchali
International Conference on Intelligent Robots and Systems (IROS), 2024.
This post introduces PEERNet, a Python package for real-time benchmarking of networked robotic systems. It provides concise and modular methods for performance analysis of the entire system stack.
Neuro Symbolic Video Search with Temporal Logic
Minkyu Choi, Harsh Goel, Mohammad Omama, Yunhao, Yang, Sahil Shah, and Sandeep Chinchali
European Conference on Computer Vision (ECCV), 2024 – Accepted for oral presentation!
Multi-Agent Reinforcement Learning with Epistemic Priors
Thayne T. Walker, Jaime S. Ide, Minkyu Choi, Michael John Guarino, and Kevin Alcedo.
International Conference on Control, Decision and Information Technologies (CoDit), 2023
The coordination of multiple autonomous agents is essential for achieving collaborative goals efficiently, especially in environments with limited communication and sensing capabilities. Our recent study, presented at CoDIT 2023, explores a novel method to tackle this challenge. We introduce Multi-Agent Reinforcement Learning with Epistemic Priors (MARL-EP), a technique that leverages shared mental models to enable high-level coordination among agents, even with severely impaired sensing and zero communication.
Soft Actor Critic with Inhibitory Networks for Retraining UAV Controllers Faster
Minkyu Choi, Max Filter, Kevin, Alcedo, Thayne T. Walker, David Rosenbluth, and Jaime S. Ide.
International Conference on Unmanned Aircraft Systems (ICUAS), 2022
The rapid evolution in autonomous unmanned aerial vehicles (UAVs) technology has spurred significant advancements in their control systems. A prominent challenge in this domain is balancing the agility of Proportional-Integral-Derivative (PID) systems for low-level control with the adaptability of Deep Reinforcement Learning (DRL) for navigation through complex environments. This post delves into a novel approach that combines these technologies to improve the retraining efficiency of UAV controllers using Soft Actor-Critic (SAC) with inhibitory networks.