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