Ali Tevfik Buyukkocak

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 13

Top Topics

Mazurkiewicz Traces

Formal Specification Language

Reactive Planning

Top Venues

Robotics Auton. Syst.

Publications