Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems.

Martin Frnzle, Paul Krger

Browse the full ISoLA paper archive.