Marta Kwiatkowska
Papers
18
Total Citations
305
H-Index
9
About
No biography available yet.
Research Focus
Computer science18 · 305 citations
Artificial intelligence14 · 217 citations
Theoretical computer science9 · 179 citations
Probabilistic logic9 · 156 citations
Programming language3 · 103 citations
Mathematics6 · 102 citations
Distributed computing4 · 100 citations
Mathematical optimization6 · 97 citations
Human–computer interaction3 · 93 citations
Robot6 · 79 citations
Model checking4 · 79 citations
Machine learning3 · 74 citations
Key Achievements
9
H-Index
18
Papers
305
Total Citations
17
Avg Citations/Paper
🏆 Most Cited Paper
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
66 citations · 2020
📈 Most Prolific Year: 2016 (8 Papers)
🤝 Key Collaborators: 21
🏛 Institutions: University of Oxford
Top Papers
- 1
- 2Quantitative verification and strategy synthesis for stochastic games51 citations · 2016
- 3Robustness Guarantees for Bayesian Inference with Gaussian Processes38 citations · 2019
- 4Specification revision for Markov decision processes with optimal trade-off35 citations · 2016
- 5Resource-Performance Tradeoff Analysis for Mobile Robots30 citations · 2018
- 6Cognitive Reasoning and Trust in Human-Robot Interactions18 citations · 2017
- 7Social Trust: a major challenge for the future of autonomous systems18 citations · 2016
- 8
- 9
- 10
Key Collaborators
MLMorteza Lahijanian5 shared papersDPDavid Parker5 shared papersMSMária Svoreňová4 shared papersGNGethin Norman4 shared papersGSGabriel Santos4 shared papersDRDushyant Rao3 shared papersAAAkshay A. Morye3 shared papersHKHadas Kress‐Gazit3 shared papersIPIngmar Posner3 shared papersPNPaul Newman2 shared papersPYPian Yu2 shared papersBYBrian Yeomans2 shared papersSSShili Sheng2 shared papersFLFeng Lu1 shared papersPNPaul Newman1 shared papersLLLuca Laurenti1 shared papersAPAndrea Patanè1 shared papersSDShuyang Dong1 shared papersCBChristel Baier1 shared papersLFLu Feng1 shared papers
Not generated yet