ソフトウェア工学における最適化問題

このグループのリサーチは、主に、信頼性の高いシステム工学、文法的推論、ソフトウェア検証の分野で生じるハード最適化問題の解決に焦点を当てています。

主なリサーチプロジェクト

• メタヒューリスティックアルゴリズムによる有限状態機械推論
• 産業オートメーションソフトウェアの合成、テスト、検証
• メタヒューリスティック アルゴリズムのパラメーター調整
• グラフとオートマトンの問題に対する制約プログラミング

連絡先: Vladimir Ulyantsev.