10月9日〜10月13日までイタリア・ヴェネツィア市で開催された国際会議The Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016)にて、大規模知識処理研究室から蓑田玲緒奈さんの論文が採択され発表しました。
- ｢Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking (Reona Minoda, Yuzuru Tanaka, Shin-ichi Minato)
本論文はBest Papers Awardを受賞しました！おめでとうございます。