| Title | Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Martin Fränzle, Paul Kröger |
| Secondary Authors | Tiziana Margaria, Bernhard Steffen |
| Conference Name | 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 |
| Date Published | 10/2020 |
| Publisher | Springer |
| Conference Location | Rhodes, Greece |
| ISBN Number | 978-3-030-61467-6 |
| Keywords | formal methods, PIRE, Societal Design, verification |
| URL | https://doi.org/10.1007/978-3-030-61467-6_17 |
| DOI | 10.1007/978-3-030-61467-6_17 |
| Citation Key | FranzleK20 |
Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems