Missing/wrong data?
Log in to edit
Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling
Author/s
author: Daniel Große, Marcel Walter, Rolf Drechsler
Work details
Publication date
2020
-
-
Language
English
Copyright status
Copyright status information is not available for this work. The copyright status depends on the jurisdiction, the author's date of death and the date the work was created or published.
To learn more about copyright terms in different countries, visit the countries and terms page.