Online motion synthesis with minimal intervention control and formal safety guarantees.