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...
| Published in: | Synthese Vol. 202; no. 3; pp. 1 - 40 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Published: |
Springer Nature
Sep2023
|
| Online Access: | View this record in EBSCOhost |