תנועה טקטית במהירות המחשבה
Tactix קיים כי כל מאמן ראה משהו בראשו שלא יכול לצאת מהפה שלו. צייר ריצה. צפה בה זזה בדיוק מתמטי. ללא מסגרות מפתח. ללא קירוב. רק מה שראית, בדיוק כפי שראית.
הצוות מגיע מאקדמיות New York Red Bulls ו-Cedar Stars, תכנות לאומית של U.S. Soccer, ומחקר שיטות פורמליות באוניברסיטת בוסטון — שיתוף פעולה בין Questrom School of Business ו-Computing & Data Sciences. בנינו את הכלי שרצינו שיהיה קיים כשהיינו על המגרש.
רקע
הצוות שלנו מביא ניסיון ממערכות האקדמיה של New York Red Bulls ו-Cedar Stars, תכנות לאומית USSDA ומחקר שיטות פורמליות באוניברסיטת בוסטון. שיתוף פעולה בין-תחומי בין Questrom School of Business ו-Computing & Data Sciences.
הנדסה
כל תנועת שחקן מוכחת מתמטית לפני שהיא מגיעה למסך. לא נבדקת — מוכחת. אותו תקן אימות המשמש במערכות קריטיות לבטיחות. כל מיקום, כל נתיב, כל מעבר: מאומת פורמלית.
C⁰
רציפות תנועה
60+
מסגרות לשנייה
0
משפטים לא מוכחים
מלילה גשום בסטוק ועד גמר גביע העולם, המשחק דורש דיוק. Tactix נבנה כדי להתאים לו.