Sylvia Herbert

Identifiers

• name variant Sylvia Herbert 0.60 · backfill

Papers (8)

1. Value Functions for Temporal Logic: Optimal Policies and Safety Filters cs.RO · 2026 · author #3
2. Steering with Contingencies: Combinatorial Stabilization and Reach-Avoid Filters eess.SY · 2026 · author #4
3. Bellman Value Decomposition for Task Logic in Safe Optimal Control cs.RO · 2026 · author #4
4. Simultaneous improvement of control and estimation for battery management systems eess.SY · 2025 · author #4
5. Solving Reach- and Stabilize-Avoid Problems Using Discounted Reachability math.OC · 2025 · author #3
6. Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances cs.SY · 2017 · author #3
7. Exact and Efficient Hamilton-Jacobi-based Guaranteed Safety Analysis via System Decomposition math.OC · 2016 · author #2
8. Fast Reachable Set Approximations via State Decoupling Disturbances math.OC · 2016 · author #2

Mentions

• 2505.09067 #3 · arxiv_oai · confidence 0.70 Sylvia Herbert

Frequent Coauthors

• Claire J. Tomlin 3 shared papers
• Mo Chen 3 shared papers
• Chuchu Fan 2 shared papers
• Oswin So 2 shared papers
• William Sharpless 2 shared papers
• Aaron D. Ames 1 shared papers
• Boyang Li 1 shared papers
• Dylan Hirsch 1 shared papers
• Marfred Barrera 1 shared papers
• Mihai Anitescu 1 shared papers
• Mohammad S. Ramadan 1 shared papers
• Pio Ong 1 shared papers
• Sander Tonkens 1 shared papers
• Somil Bansal 1 shared papers
• Yana Lishkova 1 shared papers
• Zheng Gong 1 shared papers