Sitar Kortik

According to our database, Sitar Kortik authored at least 8 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

Automated Behavior Tree Error Recovery Framework for Robotic Systems.

Ruichao Wu, Sitar Kortik, Christoph Hellmann Santos

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover.

Sitar Kortik, Tejas Kumar Shastha

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

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

Bootstrapping MDE Development from ROS Manual Code - Part 1: Metamodeling.

Nadia Hammoudeh Garcia, Mathias Lüdtke, Sitar Kortik, Björn Kahl, Mirko Bordignon

Proceedings of the 3rd IEEE International Conference on Robotic Computing, 2019

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

PhD thesis, 2017

LinGraph: a graph-based automated planner for concurrent task planning based on linear logic.

Sitar Kortik, Uluc Saranli

Appl. Intell., 2017

2014

Linear planning logic: An efficient language and theorem prover for robotic task planning.

Sitar Kortik, Uluc Saranli

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014