Majid Zamani

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

Papers

6

Total Citations

49

H-Index

4

About

No biography available yet.

Research Focus

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

Key Achievements

4
H-Index
6
Papers
49
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
19 citations · 2020
📈 Most Prolific Year: 2020 (3 Papers)
🤝 Key Collaborators: 10
🏛 Institutions: University of Colorado Boulder, LMU Klinikum, Ludwig-Maximilians-Universität München

Top Papers

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

Key Collaborators

MKMahmoud Khaled3 shared papersXYXiang Yin2 shared papersSSSadegh Soudjani2 shared papersALAbolfazl Lavaei2 shared papersSLShaoyuan Li2 shared papersHCHongpeng Cao1 shared papersSYShuo Yang1 shared papersBZBingzhuo Zhong1 shared papersYXYifan Xie1 shared papersMCMarco Caccamo1 shared papers
Not generated yet