Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents

@inproceedings{pub10433,
    author = {

Meywerk, Tim
 and 

Walter, Marcel
 and 

Herdt, Vladimir
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents},
    booktitle = {EUROMICRO Digital System Design Conference (DSD). Euromicro Conference on Digital System Design (DSD-2019), August 28-30, Kallithea, Chalkidiki, Greece},
    year = {2019}
}