Sinem Getir Yaman

Search results

• 2023

  Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study

  Păsăreanu, C. S., Mangal, R., Gopinath, D., Getir Yaman, S., Imrie, C. C. & Calinescu, R., 17 Jul 2023, Computer Aided Verification. CAV 2023. Enea, C. & Lal, A. (eds.). Springer, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 13964).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Predicting Nonfunctional Requirement Violations in Autonomous Systems

  Fang, X., Getir Yaman, S., Calinescu, R., Wilson, J. C. & Paterson, C., 2023, In: ACM Transactions on Autonomous and Adaptive Systems.

  Research output: Contribution to journal › Article › peer-review

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

  Yaman, S. G., Cavalcanti, A., Calinescu, R., Paterson, C., Ribeiro, P. & Townsend, B., 7 Jul 2023.

  Research output: Working paper › Preprint

  File

• Specification and Validation of Normative Rules for Autonomous Agents

  Getir Yaman, S., Burholt, C., Jones, M., Calinescu, R. & Cavalcanti, A., 2023, (E-pub ahead of print).

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File