Jingcheng Yuan

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Epistemic Logic

Comprehensive Evaluation

Deterministic Finite Automaton

Top Venues

Softw. Test. Verification Reliab.

Publications