Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents.

Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Groe, Rolf Drechsler

Browse the full DSD paper archive.