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, Rolf Drechsler
Reference:
Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, D. Große, 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}
}
Powered by bibtexbrowser