Sylvia L. Herbert

Control and Systems Engineering · 2017

A researcher in the Science corpus: 1 paper; trusts 4 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Sylvia L. Herbert trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Jaime Fernández Fisac
  2. John Lygeros
  3. Pablo A. Parrilo
  4. Matthias Althoff
  5. Ian M. Mitchell

Papers from Sylvia L. Herbert's perspective

Ordered by how strongly the researchers Sylvia L. Herbert trusts endorse each paper. Same corpus, a different order for every researcher.

  1. A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
  2. Theory Of Ordinary Differential Equations
  3. Reachability-based safe learning with Gaussian processes
  4. Provably safe and robust learning-based model predictive control
  5. Reach-avoid problems with time-varying dynamics, targets and constraints (International Conference on Hybrid Systems: Computation and Control)
  6. On reachability and minimum cost optimal control (at - Automatisierungstechnik)
  7. Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization
  8. Temporal logic motion planning for dynamic robots (at - Automatisierungstechnik)
  9. Principles of model checking
  10. SpaceEx: Scalable Verification of Hybrid Systems (International Conference on Computer Aided Verification)

Their papers