RoboSimVer: A Tool for RoboSim Modeling and Analysis. - Dehui Du; Ana Cavalcanti 001; Jihui Nie (ASE, 2022)

Spatio-temporal Value Semantics-based Abstraction for Dense Deep Reinforcement Learning. - Jihui Nie; Dehui Du; Jiangnan Zhao (CoRR, 2024)