Verifikace použitelnosti neuronových sítí pro řízení dopravy