思考の速度で戦術を動かす

Tactixが存在するのは、すべてのコーチが頭の中で見えているのに口で説明できなかった何かを経験してきたから。ランを描く。数学的な精度で動く。キーフレームなし。近似なし。見たそのまま、正確に再現する。

チームはNew York Red BullsとCedar Starsのアカデミー、U.S. Soccer国家プログラム、そしてBoston Universityでの形式手法研究出身——Questrom School of BusinessとComputing & Data Sciencesの学際コラボレーション。ピッチにいた頃に欲しかったツールを作った。

背景

私たちのチームは、ニューヨーク・レッドブルズとCedar Starsアカデミーシステム、USSDAナショナルプログラム、ボストン大学での形式手法研究の経験を持っています。Questrom School of BusinessとComputing & Data Sciencesの学際的コラボレーションです。

ニューヨーク・レッドブルズ

Cedar Stars

U.S. Soccer Development Academy

Questrom School of Business

BU Computing & Data Sciences

エンジニアリング

すべての選手の動きは画面に届く前に数学的に証明されている。テストではなく——証明。安全クリティカルシステムで使われる検証基準と同じ。すべてのポジション、すべてのパス、すべての遷移：形式的に検証済み。