Sitar Kortik

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 6

Top Topics

Sequent Calculus

Top Venues

J. Intell. Robotic Syst.

Publications

Mohamed El-Shamouty, Julian Titze, Sitar Kortik, Werner Kraus, Marco F. Huber
GLIR: A Practical Global-local Integrated Reactive Planner towards Safe Human-Robot Collaboration. ETFA (2022)
Sitar Kortik, Tejas Kumar Shastha
Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover. ICRA (2021)
Ruichao Wu, Sitar Kortik, Christoph Hellmann Santos
Automated Behavior Tree Error Recovery Framework for Robotic Systems. ICRA (2021)
Nadia Hammoudeh Garcia, Mathias Lüdtke, Sitar Kortik, Björn Kahl, Mirko Bordignon
Bootstrapping MDE Development from ROS Manual Code - Part 1: Metamodeling. IRC (2019)
Sitar Kortik, Uluc Saranli
Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic. J. Intell. Robotic Syst. 96 (2) (2019)
Sitar Kortik, Uluc Saranli
LinGraph: a graph-based automated planner for concurrent task planning based on linear logic. Appl. Intell. 47 (3) (2017)
Sitar Kortik, Uluc Saranli
Linear planning logic: An efficient language and theorem prover for robotic task planning. ICRA (2014)