Peishan Huang
Papers
1
Total Citations
2
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 2 citations
Computer science1 · 2 citations
Construct (python library)1 · 2 citations
Correctness1 · 2 citations
Formal verification1 · 2 citations
Linear temporal logic1 · 2 citations
Model checking1 · 2 citations
Monte Carlo method1 · 2 citations
Monte Carlo tree search1 · 2 citations
Process (computing)1 · 2 citations
Program synthesis1 · 2 citations
Programming language1 · 2 citations
Key Achievements
1
H-Index
1
Papers
2
Total Citations
2
Avg Citations/Paper
🏆 Most Cited Paper
Formal Verification Based Synthesis for Behavior Trees
2 citations · 2023
📈 Most Prolific Year: 2023 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: National University of Defense Technology
Top Papers
- 1Formal Verification Based Synthesis for Behavior Trees2 citations · 2023
Key Collaborators
Not generated yet