Frank J. Jiang
Institute for Futures Studies, KTH Royal Institute of Technology
Papers
2
Total Citations
13
H-Index
2
About
No biography available yet.
Research Focus
Algorithm2 · 13 citations
Computer science2 · 13 citations
Model checking2 · 13 citations
Reachability2 · 13 citations
Temporal logic2 · 13 citations
Theoretical computer science2 · 13 citations
Computation tree logic1 · 7 citations
Programming language1 · 7 citations
Linear temporal logic1 · 7 citations
Robustness (evolution)1 · 7 citations
Scalability1 · 7 citations
Artificial intelligence1 · 6 citations
Key Achievements
2
H-Index
2
Papers
13
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Online control synthesis for uncertain systems under signal temporal logic specifications
7 citations · 2023
📈 Most Prolific Year: 2023 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Institute for Futures Studies, KTH Royal Institute of Technology
Top Papers
- 1
- 2
Key Collaborators
Not generated yet