Majid Zamani

University of Colorado Boulder, LMU Klinikum, Ludwig-Maximilians-Universität München

论文数

6

总引用数

49

H-Index

4

关于

暂无简介。

研究焦点

Computer science6 · 49 次引用
Theoretical computer science4 · 41 次引用
Artificial intelligence4 · 37 次引用
Algorithm2 · 29 次引用
Mathematical optimization2 · 29 次引用
Task (project management)2 · 29 次引用
Constraint (computer-aided design)2 · 29 次引用
Mathematics2 · 29 次引用
Linear temporal logic2 · 29 次引用
Robot3 · 27 次引用
Markov process3 · 22 次引用
Markov decision process3 · 22 次引用

主要成就

4
H 指数
6
论文
49
总引用数
8
篇均引用
🏆 最高被引论文
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
19 次引用 · 2020
📈 最高产年份: 2020 (3 论文)
🤝 主要合作者: 10
🏛 所属机构: University of Colorado Boulder, LMU Klinikum, Ludwig-Maximilians-Universität München

代表论文

  1. 1
    Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
    19 次引用 · 2020
  2. 2
    Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications
    10 次引用 · 2021
  3. 3
    AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
    7 次引用 · 2020
  4. 4
    AMYTISS
    5 次引用 · 2020
  5. 5
    Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games
    4 次引用 · 2023
  6. 6
    OmegaThreads
    4 次引用 · 2021

主要合作者

MKMahmoud Khaled3 篇合著论文XYXiang Yin2 篇合著论文SSSadegh Soudjani2 篇合著论文ALAbolfazl Lavaei2 篇合著论文SLShaoyuan Li2 篇合著论文HCHongpeng Cao1 篇合著论文SYShuo Yang1 篇合著论文BZBingzhuo Zhong1 篇合著论文YXYifan Xie1 篇合著论文MCMarco Caccamo1 篇合著论文
尚未生成