UMLと形式手法のハイブリッド仕様が鍵となるか

ETロボコン、トレンドの変遷　今年からの走行体（NXT）については、ライントレースとマップ走法（ラインを見ないブラインド走法）のハイブリッド戦略、あるいは、マップ走法をするためにどこかしらで精度を合わせるための位置補正や、ライブラリのパラメータチューニングで走行体のスピードアップをするというようなパターンが見えてきたという