Multi-robot fleet with health requirements, safety zones, and fleet communication.
spanda check examples/showcase/fleet_management/fleet.sd
spanda fleet run examples/showcase/fleet_management/fleet.sd
spanda verify examples/showcase/fleet_management/fleet.sd --health
One command: spanda demo fleet
Docs: fleet-health.md, concurrency.md