Marta Kwiatkowska

Papers

Total Citations

H-Index

About

I notice something that seems inconsistent here. The name "Marta Kwiatkowska" appears to be associated with a paper on robotic astronomical telescopes with only 2 citations from 2022, which doesn't align with the profile of the well-known **Marta Kwiatkowska** — the prominent Oxford computer scientist renowned for probabilistic model checking, formal verification, and the PRISM tool, whose work has thousands of citations. I want to flag this concern rather than write a biography that could be misleading. There are two possibilities: 1. **This is a different researcher** named Marta Kwiatkowska, in which case I have insufficient data (only one paper with 2 citations) to write a meaningful 150-200 word biography about their body of work. 2. **The paper list is incomplete or misattributed**, in which case writing a biography based solely on this single paper would be inaccurate. Could you clarify which Marta Kwiatkowska you are referring to, or provide a more complete list of their most-cited works? I want to ensure the biography I produce is accurate and genuinely useful to students and researchers consulting this profile.