Sign in

ROSMonitoring: A Runtime Verification Framework for ROS.

Angelo FerrandoRafael C. CardosoMichael FisherDavide AnconaLuca FranceschiniViviana Mascardi
Published in: TAROS (2020)
Keyphrases
  • lightweight
  • decision making
  • main contribution
  • real world
  • data mining
  • face verification
  • neural network
  • genetic algorithm
  • case study
  • video sequences
  • software engineering
  • bayesian framework