RoboSimVer: A Tool for RoboSim Modeling and Analysis

Dehui Du, Ana Cavalcanti 0001, Jihui Nie. RoboSimVer: A Tool for RoboSim Modeling and Analysis. In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022. ACM, 2022. [doi]

Authors

Dehui Du

This author has not been identified. Look up 'Dehui Du' in Google

Ana Cavalcanti 0001

This author has not been identified. Look up 'Ana Cavalcanti 0001' in Google

Jihui Nie

This author has not been identified. Look up 'Jihui Nie' in Google