Marta Kwiatkowska

University of Oxford

论文数

18

总引用数

305

H-Index

9

关于

暂无简介。

研究焦点

Computer science18 · 305 次引用
Artificial intelligence14 · 217 次引用
Theoretical computer science9 · 179 次引用
Probabilistic logic9 · 156 次引用
Programming language3 · 103 次引用
Mathematics6 · 102 次引用
Distributed computing4 · 100 次引用
Mathematical optimization6 · 97 次引用
Human–computer interaction3 · 93 次引用
Robot6 · 79 次引用
Model checking4 · 79 次引用
Machine learning3 · 74 次引用

主要成就

9
H 指数
18
论文
305
总引用数
17
篇均引用
🏆 最高被引论文
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
66 次引用 · 2020
📈 最高产年份: 2016 (8 论文)
🤝 主要合作者: 21
🏛 所属机构: University of Oxford

代表论文

  1. 1
    PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
    66 次引用 · 2020
  2. 2
    Quantitative verification and strategy synthesis for stochastic games
    51 次引用 · 2016
  3. 3
    Robustness Guarantees for Bayesian Inference with Gaussian Processes
    38 次引用 · 2019
  4. 4
    Specification revision for Markov decision processes with optimal trade-off
    35 次引用 · 2016
  5. 5
    Resource-Performance Tradeoff Analysis for Mobile Robots
    30 次引用 · 2018
  6. 6
    Cognitive Reasoning and Trust in Human-Robot Interactions
    18 次引用 · 2017
  7. 7
    Social Trust: a major challenge for the future of autonomous systems
    18 次引用 · 2016
  8. 8
    Advances and challenges of quantitative verification and synthesis for cyber-physical systems
    10 次引用 · 2016
  9. 9
    Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications
    9 次引用 · 2024
  10. 10
    Safe POMDP Online Planning Among Dynamic Agents via Adaptive Conformal Prediction
    6 次引用 · 2024

主要合作者

MLMorteza Lahijanian5 篇合著论文DPDavid Parker5 篇合著论文MSMária Svoreňová4 篇合著论文GNGethin Norman4 篇合著论文GSGabriel Santos4 篇合著论文DRDushyant Rao3 篇合著论文AAAkshay A. Morye3 篇合著论文HKHadas Kress‐Gazit3 篇合著论文IPIngmar Posner3 篇合著论文PNPaul Newman2 篇合著论文PYPian Yu2 篇合著论文BYBrian Yeomans2 篇合著论文SSShili Sheng2 篇合著论文FLFeng Lu1 篇合著论文PNPaul Newman1 篇合著论文LLLuca Laurenti1 篇合著论文APAndrea Patanè1 篇合著论文SDShuyang Dong1 篇合著论文CBChristel Baier1 篇合著论文LFLu Feng1 篇合著论文
尚未生成