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