Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling.

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

Browse the full ISoLA paper archive.