Modelling and verification of fatigue damage for compliant mechanisms.

Changli Liu Zhuming Bi Jilin Ran Junjie Gu Xuejun Wang Chris Zhang

Published in: Robotica (2019)

Keyphrases

model checking
concurrent systems
building blocks
face verification
data sets
genetic algorithm
artificial intelligence
information systems
decision making
signature verification
formal verification
person identification
asynchronous circuits