7月24日に研究室の蓑田さんがスペインで開催された国際会議 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS) で発表した研究がBest Paper Awardを受賞しました！おめでとうございます。

Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking
Reona Minoda and Shin-ichi Minato