Lin, Albert

1. Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
   2023/12/14 by Lin, Albert, Bansal, Somil · 7 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Language-Guided World Models: A Model-Based Approach to AI Control
   2024/01/24 by Zhang, Alex, Nguyen, Khanh, Tuyls, Jens +2 · 4 citations
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
3. One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation\n in Unknown Environments
   2024/12/13 by Albert Y. Lin, Shuang Peng, Lin, Albert +3 · 5 citations
   Computer Science · #Target Tracking and Data Fusion in Sensor Networks
4. Generating Formal Safety Assurances for High-Dimensional Reachability
   2022/09/25 by Lin, Albert, Bansal, Somil · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #I.2.8 #I.2.9 #Machine Learning (cs.LG) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering