${lead}
Der endliche Automat (Verhaltensmodell), der das Verhalten des Elfmeterschützen beschreibt, mit dem das Finale beim RoboCup 2016 gewonnen wurde. Kreise sind Zustände, Kästchen sind weitere endliche Automaten.