Formellement verifie

Mouvement tactique a la vitesse de la pensee

Tactix existe parce que chaque coach a déjà vu quelque chose dans sa tête qu'il n'arrivait pas à faire sortir. Dessine une course. Regarde-la bouger avec une précision mathématique. Pas de keyframes. Pas d'approximation. Juste ce que tu as vu, exactement comme tu l'as vu.

L'équipe vient des académies de New York Red Bulls et Cedar Stars, des programmes nationaux U.S. Soccer, et de la recherche en méthodes formelles à Boston University — une collaboration entre la Questrom School of Business et Computing & Data Sciences. On a construit l'outil qu'on aurait voulu avoir quand on était sur le terrain.

Parcours

Notre equipe apporte l'experience des systemes d'academies de New York Red Bulls et Cedar Stars, des programmes nationaux USSDA et de la recherche en methodes formelles a Boston University. Une collaboration interdisciplinaire entre la Questrom School of Business et Computing & Data Sciences.

New York Red Bulls
New York Red Bulls
Cedar Stars
Cedar Stars
Academie de Developpement U.S. Soccer
Academie de Developpement U.S. Soccer
Recherche et ingenierie
Questrom School of Business
Questrom School of Business
BU Computing & Data Sciences
BU Computing & Data Sciences

Ingénierie

Chaque déplacement de joueur est mathématiquement prouvé avant d'arriver à l'écran. Pas testé — prouvé. Le même standard de vérification que les systèmes critiques de sécurité. Chaque position, chaque trajectoire, chaque transition : formellement vérifiés.

C⁰

Continuite du mouvement

60+

Images par seconde

0

Theoremes non demontres

D'une nuit pluvieuse a Stoke a la finale de la Coupe du Monde, le jeu exige de la precision. Tactix est concu pour y repondre.