Formeel geverifieerd

Tactische beweging aan de snelheid van denken

Tactix bestaat omdat elke coach al iets in zijn hoofd heeft gezien dat hij er niet uit kon krijgen. Teken een loopactie. Kijk hem bewegen met wiskundige precisie. Geen keyframes. Geen benadering. Gewoon wat je zag, precies zoals je het zag.

Het team komt van de New York Red Bulls en Cedar Stars academies, U.S. Soccer nationale programmering en formele methoden onderzoek aan Boston University — een samenwerking tussen Questrom School of Business en Computing & Data Sciences. We bouwden het tool dat we hadden gewild toen we zelf op het veld stonden.

Achtergrond

Ons team brengt ervaring van New York Red Bulls en Cedar Stars academy-systemen, USSDA nationale programmering en formele methoden onderzoek aan Boston University. Een interdisciplinaire samenwerking tussen Questrom School of Business en Computing & Data Sciences.

New York Red Bulls
New York Red Bulls
Cedar Stars
Cedar Stars
U.S. Soccer Development Academy
U.S. Soccer Development Academy
Onderzoek & Engineering
Questrom School of Business
Questrom School of Business
BU Computing & Data Sciences
BU Computing & Data Sciences

Engineering

Elke spelersbeweging is wiskundig bewezen voordat het het scherm bereikt. Niet getest — bewezen. Dezelfde verificatiestandaard als in veiligheidskritische systemen. Elke positie, elk pad, elke overgang: formeel geverifieerd.

C⁰

Bewegingscontinuïteit

60+

Frames per seconde

0

Onbewezen stellingen

Van een regenachtige avond in Stoke tot de Wereldbeker-finale, het spel eist precisie. Tactix is gebouwd om het te evenaren.