@inproceedings{dblp:conf/isola/franzlek20, Author = {Martin Fränzle and Paul Kröger}, Title = {Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems}, Year = {2020}, Pages = {255-272}, Publisher = {Springer}, Series = {Lecture Notes in Computer Science}, Booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III}, Doi = {10.1007/978-3-030-61467-6}, type = {inproceedings} } @COMMENT{Bibtex file generated on }