Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents (bibtex)
by Tim Meywerk, M. Walter, Vladimir Herdt, D. Große, R. Drechsler
Reference:
Tim Meywerk, M. Walter, Vladimir Herdt, D. Große, R. Drechsler, "Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents", In 2019 22nd Euromicro Conference on Digital System Design (DSD), pp. 129-136, 2019.
Bibtex Entry:
@article{MWHGD:2019,
  title={Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents},
  author={Tim Meywerk and M. Walter and Vladimir Herdt and D. Gro{\ss}e and R. Drechsler},
  journal={2019 22nd Euromicro Conference on Digital System Design (DSD)},
  year={2019},
  pages={129-136},
  keywords={easecrc_cognitive_arch_systems}
}
Powered by bibtexbrowser