@other{https://authors.library.caltech.edu/records/ve1ce-63441, title = "Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces", url = "https://authors.library.caltech.edu/records/ve1ce-63441", id = "record", isbn = "979-8-3503-0124-3", doi = "10.1109/cdc49753.2023.10383601" } @other{https://authors.library.caltech.edu/records/7nrpn-71909, title = "Input-to-State Stability in Probability", url = "https://authors.library.caltech.edu/records/7nrpn-71909", id = "record", isbn = "979-8-3503-0124-3", doi = "10.1109/cdc49753.2023.10383579" } @other{https://authors.library.caltech.edu/records/ds15t-0yc45, title = "On the Safety of Connected Cruise Control: Analysis and Synthesis with Control Barrier Functions", url = "https://authors.library.caltech.edu/records/ds15t-0yc45", id = "record", isbn = "979-8-3503-0124-3", doi = "10.1109/cdc49753.2023.10383336" } @other{https://authors.library.caltech.edu/records/ftsgr-81210, title = "Humanoid Robot Co-Design: Coupling Hardware Design with Gait Generation via Hybrid Zero Dynamics", url = "https://authors.library.caltech.edu/records/ftsgr-81210", id = "record", isbn = "979-8-3503-0124-3", doi = "10.1109/cdc49753.2023.10383745" } @other{https://authors.library.caltech.edu/records/n1z1a-hfs41, title = "Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems", url = "https://authors.library.caltech.edu/records/n1z1a-hfs41", id = "record", isbn = "979-8-3503-0124-3", doi = "10.1109/cdc49753.2023.10383374" } @other{https://authors.library.caltech.edu/records/18nmc-z8947, title = "Intermittent Safety Filters for Event-Triggered Safety Maneuvers with Application to Satellite Orbit Transfers", url = "https://authors.library.caltech.edu/records/18nmc-z8947", id = "record", isbn = "979-8-3503-0124-3", doi = "10.1109/cdc49753.2023.10383437" } @other{https://authors.library.caltech.edu/records/xyr07-c7938, title = "Safety-Critical Coordination for Cooperative Legged Locomotion via Control Barrier Functions", url = "https://authors.library.caltech.edu/records/xyr07-c7938", id = "record", isbn = "978-1-6654-9190-7", doi = "10.1109/iros55552.2023.10341987" } @other{https://authors.library.caltech.edu/records/2xx4a-j4h16, title = "FRoGGeR: Fast Robust Grasp Generation via the Min-Weight Metric", url = "https://authors.library.caltech.edu/records/2xx4a-j4h16", id = "record", isbn = "978-1-6654-9190-7", doi = "10.1109/iros55552.2023.10341806" } @other{https://authors.library.caltech.edu/records/z57q5-7tz02, title = "Hierarchical Relaxation of Safety-critical Controllers: Mitigating Contradictory Safety Conditions with Application to Quadruped Robots", url = "https://authors.library.caltech.edu/records/z57q5-7tz02", id = "record", isbn = "978-1-6654-9190-7", doi = "10.1109/iros55552.2023.10342094" } @other{https://authors.library.caltech.edu/records/203e0-bep36, title = "Data-Driven Adaptation for Robust Bipedal Locomotion with Step-to-Step Dynamics", url = "https://authors.library.caltech.edu/records/203e0-bep36", id = "record", isbn = "978-1-6654-9190-7", doi = "10.1109/iros55552.2023.10341396" }