by Meywerk, Tim, Walter, Marcel, Herdt, Vladimir, Große, Daniel and Drechsler, Rolf
Reference:
Meywerk, Tim, Walter, Marcel, Herdt, Vladimir, Große, Daniel and Drechsler, Rolf, "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:
@inproceedings{meywerk2019towards,
title={Towards formal verification of plans for cognition-enabled autonomous robotic agents},
author={Meywerk, Tim and Walter, Marcel and Herdt, Vladimir and Gro{\ss}e, Daniel and Drechsler, Rolf},
booktitle={2019 22nd Euromicro Conference on Digital System Design (DSD)},
pages={129--136},
year={2019},
organization={IEEE},
url = {https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8875153},
keywords={easecrc_cognitive_arch_systems}
}