Formal Analysis and Verification of DDS in ROS2.

Yanan Liu Yong Guan Xiaojuan Li Rui Wang Jie Zhang

Published in: MEMOCODE (2018)

Keyphrases

formal analysis
formal methods
agent model
ban logic
data sets
machine learning
artificial intelligence
object oriented
knowledge acquisition