by Beetz, Michael, Niedzwiecki, Arthur and Picklum, Mareike
Reference:
Beetz, Michael, Niedzwiecki, Arthur and Picklum, Mareike, "Semantic Verification through Mental Simulation of Generated Control Sequences for Autonomous Cognitive Household Robots", In 1st German Robotics Conference (GRC), 2025.
Bibtex Entry:
@inproceedings{niedzwiecki2025semver,
title={Semantic Verification through Mental Simulation of Generated Control Sequences for Autonomous Cognitive Household Robots},
author={Beetz, Michael and Niedzwiecki, Arthur and Picklum, Mareike},
booktitle={1st German Robotics Conference (GRC)},
year={2025}
}