投稿者: Ichiro Hasuo

Xiaoyi Zhang，Paolo Arcaini，石川 冬樹の三氏による論文が国際会議 ICECCS 2019 — the 24th International Conference on Engineering of Complex Computer Systems — で最優秀論文賞を受賞しました.

Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS 2019: 190-199. [ieee]

著者の三氏は ERATO MMSD プロジェクトのメンバーです（グループ３，石川冬樹グループリーダー）．

ICECCS は形式手法分野のトップ国際会議の一つです（CORE rank A）．昨年の受賞に続き，ERATO MMSD プロジェクトから2年連続の最優秀論文賞受賞となります．

ERATO MMSD プロジェクトの研究者が共著者となる2報の論文が，ITSC 2019 – the 22nd International Conference on Intelligent Transportation Systems に採択されました．

Chao Huang, Boyuan Li, Masako Kishida. Model predictive approach to integrated path planning and tracking for autonomous vehicles. IEEE Intelligent Transportation Systems Conference (ITSC 2019), 2019
[doi | arxiv]

Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang. Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. IEEE Intelligent Transportation Systems Conference (ITSC 2019), 2019
[doi | arxiv]

ITSC は自動運転をはじめとするインテリジェント交通システム分野の主要国際会議です．ITSC 2019 は2019年10月にニュージーランド オークランド市で開催されました．

ERATO MMSD プロジェクトの研究者が共著者となる2報の論文が，ICECCS 2019 – the 24th International Conference on Engineering of Complex Computer Systems に採択されました．

Étienne André, Didier Lime, Mathias Ramparison. On the expressive power of invariants in parametric timed automata. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), pp.87-96, 2019
[doi]

Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa. Assessing the Relation Between Hazards and Variability in Automotive Systems. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), pp.190-199, 2019
[doi]

International Conference on Engineering of Complex Computer Systems (ICECCS) はソフトウェア科学・ソフトウェア工学分野の主要国際会議です．ICECCS 2019 は2019年11月に中国南沙市で開催されます．

研究成果たるアルゴリズムの普及・社会応用に向けたソフトウェア実装を行っていただく，scientific programmer を募集しています．

詳細はこちらの JREC-IN のページを御覧ください．概要はこちらです．

ERATO 蓮尾メタ数理システムデザインプロジェクト シンポジウム
「高信頼自動運転システムのための先進的研究：数理的理論から，AI 協働，ソフトウェアプラットフォームへ」を 2019年5月21日に開催し，88名の方にご参加いただいて，盛況のうち終了しました．お越しのみなさま，どうもありがとうございました．

いくつかの講演のビデオとスライドを公開しています．

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月に米国ニューヨークで開催されます．

ERATO 蓮尾メタ数理システムデザインプロジェクト シンポジウム
「高信頼自動運転システムのための先進的研究：数理的理論から，AI 協働，ソフトウェアプラットフォームへ」を開催します．

2019年5月21日（火）午後

イベント詳細

ERATO MMSD プロジェクトの研究者が著者・共著者となる6報の論文が，LICS 2019 – Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science に採択されました．

• David Sprunger and Shin-Ya Katsumata. Differentiable Causal Computations via Delayed Trace
• Yuichi Komorida, Shin-Ya Katsumata, Nick Hu, Bartek Klin and Ichiro Hasuo. Codensity Games for Bisimilarity
• Bartek Klin and Clovis Eberhart. History-dependent nominal mu-calculus
• Ugo Dal Lago and Naohiko Hoshino. The Geometry of Bayesian Programming
• Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu and Shin-Ya Katsumata. Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
• Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu and Shin-Ya Katsumata. Probabilistic Relational Reasoning via Metrics

Symposium on Logic in Computer Science (LICS) は理論計算機科学におけるトップ国際会議であり， ACM SIGLOG の旗艦国際会議です．LICS 2019 は 2019年6月に，カナダ バンクーバーにて開催されます．