Pattern-Based Verification of ROS 2 Nodes Using UPPAAL.

Lukas Johannes Dust Rong Gu Cristina Seceleanu Mikael Ekström Saad Mubeen

Published in: FMICS (2023)

Keyphrases

model checking
model checker
formal methods
directed graph
network structure
temporal logic
formal verification
timed automata
labeled trees
data sets
signature verification
spanning tree
verification method
fingerprint verification
face recognition
decision trees
artificial intelligence
neural network