Towards formal verification of plans for cognition-enabled autonomous robotic agents (bibtex)
by Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler
Reference:
Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf 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:
@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}
}
Powered by bibtexbrowser