Insup Lee
収録論文 11本 ・ フィジカルAI/ロボット学習
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- SafeVLA-Bench: A Benchmark for the Success-Safety Gap in Vision-Language-Action Models2026/6/1
- SafeGen-LLM: Enhancing Safety Generalization in Task Planning for Robotic Systems2026/2/1
- RICL: Adding In-Context Adaptability to Pre-Trained Vision-Language-Action Models2025/8/1
- Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach2023/11/1
- Memory-Consistent Neural Networks for Imitation Learning2023/10/1
- Distributionally Robust Statistical Verification with Imprecise Neural Networks2023/8/1
- Guaranteed Conformance of Neurosymbolic Models to Natural Constraints2022/12/1
- Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information2022/9/1
- Real-Time Detectors for Digital and Physical Adversarial Inputs to Perception Systems2020/2/1
- Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller2019/10/1
- Self-Driving Vehicle Verification Towards a Benchmark2018/6/1