@STRING{dsd_euromicro={EUROMICRO Symposium on Digital System Design} }
@InProceedings{MWH+:2019,
  author        = {Tim Meywerk and Marcel Walter and Vladimir Herdt and Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents},
  booktitle     = dsd_euromicro,
  year		= {2019},
}