Formal verifiziert

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.

New York Red Bulls
New York Red Bulls
Cedar Stars
Cedar Stars
U.S. Soccer Entwicklungsakademie
U.S. Soccer Entwicklungsakademie
Forschung und Technik
Questrom School of Business
Questrom School of Business
BU Computing & Data Sciences
BU 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.