Derya Aksaray
Scholar

Derya Aksaray

Google Scholar ID: kCEHo6EAAAAJ
Assistant Professor, Northeastern University
control theoryformal methodsroboticsaerospace systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,044
 
H-index
16
 
i10-index
24
 
Publications
20
 
Co-authors
18
list available
Contact
No contact links provided.
Publications
5 items
Specification-Aware Distribution Shaping for Robotics Foundation Models
2026
Cited
0
Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
2026
Cited
0
Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints
2026
Cited
0
Temporal-Logic-Aware Frontier-Based Exploration
2026
Cited
0
Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
2025
Cited
0
Resume (English only)
Co-authors
18 total
Co-author 1
Co-author 1
Ali Tevfik Buyukkocak
Ali Tevfik Buyukkocak
University of Minnesota
Calin Belta
Calin Belta
Brendan Iribe Endowed Professor, University of Maryland
Nicholas Roy
Nicholas Roy
MIT
Mac Schwager
Mac Schwager
Stanford University
Zhaodan Kong
Zhaodan Kong
Associate Professor, University of California, Davis
Dimitri N. Mavris
Dimitri N. Mavris
Georgia Institute of Technology
Co-author 8
Co-author 8