Movimento tatico na velocidade do pensamento
Tactix existe porque todo treinador já viu algo na cabeça que não conseguia colocar em palavras. Desenhe uma corrida. Veja ela se mover com precisão matemática. Sem keyframes. Sem aproximação. Só o que você viu, exatamente como você viu.
A equipe vem das academias do New York Red Bulls e Cedar Stars, da programação nacional do U.S. Soccer, e da pesquisa em métodos formais na Boston University — uma colaboração entre Questrom School of Business e Computing & Data Sciences. Construímos a ferramenta que queríamos ter quando estávamos no campo.
Trajetoria
Nossa equipe traz experiencia dos sistemas de academias do New York Red Bulls e Cedar Stars, programas nacionais da USSDA e pesquisa em metodos formais na Boston University. Uma colaboracao interdisciplinar entre a Questrom School of Business e Computing & Data Sciences.
Engenharia
Cada movimento de jogador é matematicamente provado antes de chegar à tela. Não testado — provado. O mesmo padrão de verificação usado em sistemas de segurança crítica. Cada posição, cada trajetória, cada transição: formalmente verificada.
C⁰
Continuidade do movimento
60+
Quadros por segundo
0
Teoremas nao demonstrados
De uma noite chuvosa em Stoke a final da Copa do Mundo, o jogo exige precisao. Tactix foi construido para estar a altura.