Author

Cagan Bakirci

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

Video2STL: Grounding VLM-Generated Temporal Specifications for Robot Learning

Video2STL is presented, a framework that converts observation-only videos into parametric Signal Temporal Logic (STL) specifications and uses the resulting formal representation for robot learning, and supports cross-embodiment transfer from human or animal videos to robot control.

Merve Atasever, Keyan Azbijari, Cagan Bakirci et al. · 0 citations

#artificial intelligence Preprint Sep 2026

From LLM-Generated Specifications to Learned Quadruped Locomotion

This work studies whether large language models (LLMs) can fill this gap by generating Parametric Signal Temporal Logic (PSTL) specifications that are subsequently used for policy learning, and instantiate the parameters of the generated PSTL templates using expert trajectories and retain only specifications that are c...

Merve Atasever, Keyan Azbijari, Cagan Bakirci et al. · 0 citations