Guess what I’m doing! Rendering formal verification methods ripe for the era of interacting intelligent systems
| 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 |
| Conference Name | 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation |
| Publisher | Springer-Verlag |
| Conference Location | Rhodes, Greece |
| Citation Key | node-71114 |