Sitar Kortik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2014–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ETFA | 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 |
| 2021 | ICRA | Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover. | Sitar Kortik, Tejas Kumar Shastha |
| 2021 | ICRA | Automated Behavior Tree Error Recovery Framework for Robotic Systems. | Ruichao Wu, Sitar Kortik, Christoph Hellmann Santos |
| 2014 | ICRA | Linear planning logic: An efficient language and theorem prover for robotic task planning. | Sitar Kortik, Uluc Saranli |