Alphan Ulusoy

Innovations for High Performance Microelectronics — Germany

Computer Science · Physical Sciences

12h-index657citations29works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(19), Model-Driven Software Engineering Techniques(11), Robotic Path Planning Algorithms(4), Software Testing and Debugging Techniques(4), Logic, Reasoning, and Knowledge(4)

Publications29 total

The European project Merlin on multi-gigabit, energy-efficient, ruggedized lightwave engines for advanced on-board digital processors
2017· 2 citedOpen Access
Receding horizon temporal logic control in dynamic environments
The International Journal of Robotics Research·2014· 37 cited
Soft-landing control by control invariance and receding horizon control
2014· 4 cited
Incremental controller synthesis in probabilistic environments with temporal logic constraints
The International Journal of Robotics Research·2014· 31 cited
Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization
Springer tracts in advanced robotics·2014· 32 cited
Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints
The International Journal of Robotics Research·2013· 193 cited
Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications
2013· 14 citedOpen Access
Wireless Control Networks with Real-Time Constraints
2013
Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications
2013· 28 cited
Wireless Model Based Predictive Networked Control System over IEEE 802.15.4
2013· 6 cited
Temporal logic control for an autonomous quadrotor in a nondeterministic environment
2013· 12 cited
Temporal logic robot control based on automata learning of environmental dynamics
The International Journal of Robotics Research·2013· 23 cited
Incremental control synthesis in probabilistic environments with Temporal Logic constraints
2012Open Access
Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents
2012· 16 cited
Incremental Control Synthesis in Probabilistic Environments with\n Temporal Logic Constraints
arXiv (Cornell University)·2012Open Access
Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization
arXiv (Cornell University)·2012· 4 citedOpen Access
Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing\n Correctness Through Synchronization
arXiv (Cornell University)·2012Open Access
Robust multi-robot optimal path planning with temporal logic constraints
2012· 58 cited
Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents
arXiv (Cornell University)·2012Open Access
Incremental Temporal Logic Synthesis of Control Policies for Robots\n Interacting with Dynamic Agents
arXiv (Cornell University)·2012Open Access
page 1 of 2Next →

Frequent Co-authors

Călin Belta(19), Stephen L. Smith(8), Daniela Rus(7), Tichakorn Wongpiromsarn(7), Özgür Gürbüz(6), Xu Chu Ding(5), Ahmet Onat(5), Emilio Frazzoli(4), Michael Marrazzo(2), Yushan Chen(1), Jana Tůmová(1), Yunus Sarikaya(1), İsmail Cem Atalay(1), Özgür Erçetin(1), Konstantinos Oikonomopoulos(1), R. Bridge Hunter(1), Stefano Di Cairano(1), Sohrab Haghighat(1), Minsu Ko(1), Dietmar Kissinger(1)