形式手法に関するトップカンファレンスであるCAV 2018にて，AWSから講演(Invited Paperの発表)がありました．

Garmin connectでは心拍数の計測をもとにストレスを数値化してくれる