Miaoer Li

According to our database¹, Miaoer Li authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Behavior Safety Decision-Making Based on Deep Deterministic Policy Gradient and Its Verification Method.

[BibT_eX]

[DOI]

Symmetry, 2024

Classification Method of Ethereum Smart Contracts Based on Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Software Quality, 2024