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

by Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, D. Große and Rolf Drechsler

Reference:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, D. Große and Rolf Drechsler, "Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling", In Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2020.

Bibtex Entry:

@inproceedings{MWHKGD:2020,
  title={Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling},
  author={Tim Meywerk and Marcel Walter and Vladimir Herdt and Jan Kleinekath{\"o}fer and D. Gro{\ss}e and Rolf Drechsler},
  year={2020},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
  series    = {Lecture Notes in Computer Science},
  keywords={easecrc_cognitive_arch_systems}
}