@inproceedings{PedersenSS21, author = {Mina Young Pedersen and Marija Slavkovik and Sonja Smets}, editor = {Sujata Ghosh and Thomas Icard}, title = {Social Bot Detection as a Temporal Logic Model Checking Problem}, booktitle = {Logic, Rationality, and Interaction - 8th International Workshop, {LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13039}, pages = {158--173}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88708-7\_13}, doi = {10.1007/978-3-030-88708-7\_13}, timestamp = {Wed, 06 Oct 2021 16:27:55 +0200}, biburl = {https://dblp.org/rec/conf/lori/PedersenSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }