A New Framework for Dynamic Adaptations and Actions. - Carsten Ullrich; Tianxiang Lu; Erica Melis (EC-TEL, 2009)

Just-in-Time Adaptivity through Dynamic Items. - Carsten Ullrich; Tianxiang Lu; Erica Melis (UMAP, 2009)

Towards Verification of the Pastry Protocol Using TLA + . - Tianxiang Lu; Stephan Merz; Christoph Weidenbach (FMOODS/FORTE, 2011)

Formal verification of the pastry protocol. (Vérification formelle du protocole Pastry). - Tianxiang Lu (2013)

Formal Verification of the Pastry Protocol Using mathrmTLA^+. - Tianxiang Lu (SETTA, 2015)

Towards a fully automated 3D printability checker. - Tianxiang Lu (ICIT, 2016)

Sarsa-based Model Predictive Control with Improved Performance and Computational Complexity. - Tianxiang Lu; Kunwu Zhang; Yang Shi 001 (ICPS, 2022)

Continual learning of quantum state classification with gradient episodic memory. - Haozhen Situ; Tianxiang Lu; Minghua Pan; Lvzhou Li (CoRR, 2022)

Robust Data-driven Model Predictive Control via On-policy Reinforcement Learning for Robot Manipulators. - Tianxiang Lu; Kunwu Zhang; Yang Shi 001 (ICPS, 2024)