Social Bot Detection as a Temporal Logic Model Checking Problem

Pedersen, Mina Young; Slavkovik, Marija; Smets, Sonja

doi:10.1007/978-3-030-88708-7\_13

Social Bot Detection as a Temporal Logic Model Checking Problem (bibtex)

@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}}