Taktische Bewegung in Gedankengeschwindigkeit
Tactix existiert, weil jeder Trainer schon etwas in seinem Kopf gesehen hat, das er nicht aus seinem Mund bekommen konnte. Zeichne einen Lauf. Sieh ihn sich mit mathematischer Präzision bewegen. Keine Keyframes. Keine Näherung. Nur das, was du gesehen hast, genau wie du es gesehen hast.
Das Team kommt von den New York Red Bulls und Cedar Stars Akademien, dem U.S. Soccer Nationalprogramm und der Forschung zu formalen Methoden an der Boston University — eine Zusammenarbeit zwischen der Questrom School of Business und Computing & Data Sciences. Wir haben das Tool gebaut, das wir uns gewünscht hätten, als wir selbst auf dem Platz standen.
Hintergrund
Unser Team bringt Erfahrung aus den Akademiesystemen von New York Red Bulls und Cedar Stars, USSDA-Nationalprogrammen und Forschung zu formalen Methoden an der Boston University. Eine interdisziplinaere Zusammenarbeit zwischen der Questrom School of Business und Computing & Data Sciences.





Technik
Jede Spielerbewegung ist mathematisch bewiesen, bevor sie den Bildschirm erreicht. Nicht getestet — bewiesen. Derselbe Verifikationsstandard wie in sicherheitskritischen Systemen. Jede Position, jeder Pfad, jeder Übergang: formal verifiziert.
C⁰
Bewegungskontinuitaet
60+
Bilder pro Sekunde
0
Unbewiesene Theoreme
Von einer regnerischen Nacht in Stoke bis zum WM-Finale — das Spiel verlangt Praezision. Tactix ist dafuer gebaut.