月: 2020年3月

ニュースリリース： 自動運転の経路計画プログラムから危険動作を自動検出する手法を開発 ～細かい指定をせずに、現実的かつ危険な動作を発見する～

以下の論文の成果を，NII および JST からニュースリリースしました．

Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa, IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)

進化計算でハザードシナリオを探索する際に，「危ないけれど避けようがない」シナリオでなく，「システムの変更によって避けることができた」シナリオをうまく探索する技術です．

3報の論文が ETAPS 2020 に採択

ERATO MMSD プロジェクトの研究者が著者・共著者となる3報の論文が， ETAPS 2020 – European Joint Conferences on Theory and Practice of Software に採択されました．

  • Juraj Kolčák, Jérémy Dubut, Ichiro Hasuo, Shin-Ya Katsumata, David Sprunger and Akihisa Yamada. Relational Differential Dynamic Logic. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020) 
  • Takamasa Okudono and Andy King. Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)
  • Satoshi Kura. Graded algebraic theories. 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2020)

European Joint Conferences on Theory and Practice of Software (ETAPS) は理論計算機科学分野での主要イベントの一つであり，国際会議4つ（ESOP, FASE, FOSSACS and TACAS）およびその他ワークショップ等のイベントの集合体です．ETAPS 2020は 2020年4月に，アイルランド共和国ダブリンにて開催予定でした（COVID-19 のため延期）．