Contact

  • Academic
    albertkl@stanford.edu
    University - Student Department: Aeronautics and Astronautics Position: Graduate

Additional Info

Links

All Publications

  • One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments IEEE TRANSACTIONS ON ROBOTICS Lin, A., Peng, S., Bansal, S. 2026; 42: 545-560

    View details for DOI 10.1109/TRO.2025.3644957

    View details for Web of Science ID 001666916900001

  • Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis Lin, A., Pinto, A., Bansal, S. edited by Lindemann, L., Tu, S., Wierman, A., Atanasov, N., Sukhatme, G. JMLR-JOURNAL MACHINE LEARNING RESEARCH. 2026: 1432-1446

    View details for Web of Science ID 001863802500072

  • Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction Lin, A., Bansal, S. edited by Abate, A., Cannon, M., Margellos, K., Papachristodoulou, A. JMLR-JOURNAL MACHINE LEARNING RESEARCH. 2024: 719-731

    View details for Web of Science ID 001347137500056

  • Generating Formal Safety Assurances for High-Dimensional Reachability Lin, A., Bansal, S., IEEE IEEE. 2023: 10525-10531

    View details for DOI 10.1109/ICRA48891.2023.10160600

    View details for Web of Science ID 001048371103034

https://orcid.org/0000-0002-8123-4225