Multiple papers accepted in top journals and conferences including Automatica, IEEE Transactions on Automatic Control, IEEE Control Systems Letters, Journal of the Franklin Institute, European Journal of Control, and IEEE Robotics and Automation Letters
Three papers accepted at ECC 2023; two selected for the ECC Special Issue in European Journal of Control
Proposed a novel set representation called 'logical zonotope' for binary vectors to reduce exhaustive search complexity and model logical uncertainty
Serves as Associate Editor for IEEE Conference on Decision and Control (CDC)
Published open-source code and demonstration videos (e.g., YouTube demo on LLM-driven vehicle with safety guarantees)