Qing He

Orcid: 0000-0003-4903-1484

Affiliations:

According to our database¹, Qing He authored at least 3 papers between 2021 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Self-Learning Modeling in Possibilistic Model Checking.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput. Intell., February, 2024

Generalized possibility computation tree logic with frequency and its model checking.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2024

2021

Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2021