Are collisions typically detected by closed-form solutions or incrementing t?