Sinem Getir Yaman

Quantitative Verification of Stochastic Regular Expressions

Lars Grunske, Esteban Pavese, Sinem Getir Yaman, 2021, Fundam. Informaticae.

Bias in human data: A feedback from social sciences

Sinem Getir Yaman, S. Takan, Onur Kilinççeker, 2023, WIREs Data. Mining. Knowl. Discov..

Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

Sinem Getir Yaman, R. Calinescu, B. Townsend, 2023, ArXiv.

Specification and Validation of Normative Rules for Autonomous Agents

Sinem Getir Yaman, R. Calinescu, Ana Cavalcanti, 2023, FASE.