A bounded formulation for the school bus scheduling problem
Managing driving modes in automated driving systems
Scheduling vehicles with spatial conflicts