Frank J. Jiang

Institute for Futures Studies, KTH Royal Institute of Technology

论文数

2

总引用数

13

H-Index

2

关于

暂无简介。

研究焦点

Algorithm2 · 13 次引用
Computer science2 · 13 次引用
Model checking2 · 13 次引用
Reachability2 · 13 次引用
Temporal logic2 · 13 次引用
Theoretical computer science2 · 13 次引用
Computation tree logic1 · 7 次引用
Programming language1 · 7 次引用
Linear temporal logic1 · 7 次引用
Robustness (evolution)1 · 7 次引用
Scalability1 · 7 次引用
Artificial intelligence1 · 6 次引用

主要成就

2
H 指数
2
论文
13
总引用数
7
篇均引用
🏆 最高被引论文
Online control synthesis for uncertain systems under signal temporal logic specifications
7 次引用 · 2023
📈 最高产年份: 2023 (1 论文)
🤝 主要合作者: 6
🏛 所属机构: Institute for Futures Studies, KTH Royal Institute of Technology

代表论文

  1. 1
    Online control synthesis for uncertain systems under signal temporal logic specifications
    7 次引用 · 2023
  2. 2
    Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
    6 次引用 · 2022

主要合作者

DVDimos V. Dimarogonas2 篇合著论文KHKarl Henrik Johansson2 篇合著论文AAAmr Alanwar1 篇合著论文PYPian Yu1 篇合著论文YGYulong Gao1 篇合著论文MSMaryam Sharifi1 篇合著论文
尚未生成