Prefer a chat interface with context about you and your work?
The Hopf–Lax formula in Carnot groups: a control theoretic approach