ERATO 蓮尾メタ数理システムデザインプロジェクト シンポジウム
「高信頼自動運転システムのための先進的研究：数理的理論から，AI 協働，ソフトウェアプラットフォームへ」を 2019年5月21日に開催し，88名の方にご参加いただいて，盛況のうち終了しました．お越しのみなさま，どうもありがとうございました．
いくつかの講演のビデオとスライドを公開しています．
月: 2019年5月
2報の論文が CAV 2019 に採択
ERATO MMSD プロジェクトの研究者が著者となる2報の論文が，CAV 2019 – 31st International Conference on Computer-Aided Verification に採択されました．
- Masaki Waga, Étienne André and Ichiro Hasuo. Symbolic Monitoring against Specifications Parametric in Time and Data
- Zhenya Zhang, Ichiro Hasuo and Paolo Arcaini. Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification
International Conference on Computer-Aided Verification (CAV) は形式検証分野のトップ国際会議です．CAV 2019 は2019年7月に米国ニューヨークで開催されます．