Multi-agent signal-less intersection management with dynamic platoon formation