Robotic Judge: A Formal Exploration of Performance Art Salsa