Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling

@inproceedings{pub11075,
    author = {

Meywerk, Tim
 and 

Walter, Marcel
 and 

Herdt, Vladimir
 and 

Kleinekathöfer, Jan
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling},
    booktitle = {9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-2020), October 20-24, Rhodes, Greece},
    year = {2020}
}