by Tim Meywerk, M. Walter, Vladimir Herdt, D. Große and R. Drechsler
Reference:
Tim Meywerk, M. Walter, Vladimir Herdt, D. Große and R. Drechsler, "Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents", 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}
}