Space-time phase transitions in driven kinetically constrained lattice models

Tools