Там еще есть вот такой список - https://developers.whatismybrowser.com/useragents/...
Ну вообще исходя из этого списка Смарт ТВ прописывают себя в User-Agent как SMART-TV почти всегда. Так что можно так же аналогично проверить:
$userAgent = strtolower($_SERVER['HTTP_USER_AGENT']);
if (stripos($userAgent, 'smart-tv') !== false || stripos($userAgent, 'smarttv') !== false) {
echo 'Smart TV Device';
}