本组论文“Offline timed pattern matching under uncertainty” （作者：Étienne André, Ichiro Hasuo & Masaki Waga）荣获ICECCS 2018最佳论文奖！
Research Center for Mathematical Trust in Software and Systems, National Institute of Informatics
Research Center for Mathematical Trust in Software and Systems, National Institute of Informatics
本组论文“Offline timed pattern matching under uncertainty” （作者：Étienne André, Ichiro Hasuo & Masaki Waga）荣获ICECCS 2018最佳论文奖！