Space-time formulation, discretization, and computational performance studies for phase-field fracture optimal control problems