Валидация систем

📉 Стэнфордский курс AA228V: фальсификация систем через планирование и MCTS

🍬 От конфет до авиабезопасности: как Стэндфорд учит формальной логике критических систем

✈ Как зашумленный датчик высоты и фрисби помогают валидировать системы