Detecting bots with temporal logic.
Social bots are computer programs that act like human users on social media platforms. Social bot detection is a rapidly growing field dominated by machine learning approaches. In this paper, we propose a complementary method to machine learning by exploring bot detection as a model checking problem...
| Publicado en: | Synthese Vol. 202; no. 3; pp. 1 - 40 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Sep2023
|
| Acceso en línea: | Ver este registro en EBSCOhost |