Linear planning logic: An efficient language and theorem prover for robotic task planning. - Sitar Kortik; Uluc Saranli (ICRA, 2014)

LinGraph: a graph-based automated planner for concurrent task planning based on linear logic. - Sitar Kortik; Uluc Saranli (Appl. Intell., 2017)

Linear planning logic and linear logic graph planner: Domain independent task planners based on linear logic (Doğrusal planlama mantığı ve doğrusal mantık grafik planlayıcı: Doğrusal mantık tabanlı alan bağımsız görev planlayıcılar) - Sitar Kortik (2017)

Bootstrapping MDE Development from ROS Manual Code - Part 1: Metamodeling. - Nadia Hammoudeh Garcia; Mathias Lüdtke; Sitar Kortik; Björn Kahl; Mirko Bordignon (IRC, 2019)

Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic. - Sitar Kortik; Uluc Saranli (J. Intell. Robotic Syst., 2019)

Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover. - Sitar Kortik; Tejas Kumar Shastha (ICRA, 2021)

Automated Behavior Tree Error Recovery Framework for Robotic Systems. - Ruichao Wu; Sitar Kortik; Christoph Hellmann Santos (ICRA, 2021)

GLIR: A Practical Global-local Integrated Reactive Planner towards Safe Human-Robot Collaboration. - Mohamed El-Shamouty; Julian Titze; Sitar Kortik; Werner Kraus; Marco F. Huber (ETFA, 2022)