Tianxiang Lu

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 3

Top Topics

Coloured Petri Nets

Formal Verification

Bounded Model Checking

Fully Automated

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Tianxiang Lu, Kunwu Zhang, Yang Shi
Sarsa-based Model Predictive Control with Improved Performance and Computational Complexity. ICPS (2022)
Haozhen Situ, Tianxiang Lu, Minghua Pan, Lvzhou Li
Continual learning of quantum state classification with gradient episodic memory. CoRR (2022)
Tianxiang Lu
Towards a fully automated 3D printability checker. ICIT (2016)
Tianxiang Lu
Formal Verification of the Pastry Protocol Using \mathrmTLA^+. SETTA (2015)
Tianxiang Lu, Stephan Merz, Christoph Weidenbach
. FMOODS/FORTE (2011)
Carsten Ullrich, Tianxiang Lu, Erica Melis
Just-in-Time Adaptivity through Dynamic Items. UMAP (2009)
Carsten Ullrich, Tianxiang Lu, Erica Melis
A New Framework for Dynamic Adaptations and Actions. EC-TEL (2009)