Yunus Emre Sahin

According to our database, Yunus Emre Sahin authored at least 12 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

From drinking philosophers to asynchronous path-following robots.

Yunus Emre Sahin, Necmiye Ozay

Autom., 2023

2020

Multirobot Coordination With Counting Temporal Logics.

Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay

IEEE Trans. Robotics, 2020

From Drinking Philosophers to Wandering Robots.

Yunus Emre Sahin, Necmiye Ozay

CoRR, 2020

Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming.

Yunus Emre Sahin, Rien Quirynen, Stefano Di Cairano

Proceedings of the 2020 American Control Conference, 2020

2019

Intention-Aware Supervisory Control with Driving Safety Applications.

Yunus Emre Sahin, Zexiang Liu, Kwesi J. Rutledge, Dimitra Panagou, Sze Zheng Yong, Necmiye Ozay

Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019

2018

Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving.

Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Anomaly detection with Bayesian Gauss Background Model in hyperspectral images.

Yunus Emre Sahin, Sertac Arisoy, Koray Kayabol

Proceedings of the 26th Signal Processing and Communications Applications Conference, 2018

Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach.

Yunus Emre Sahin, Necmiye Ozay, Stavros Tripakis

Proceedings of the Distributed Autonomous Robotic Systems, 2018

2017

Provably-correct coordination of large collections of agents with counting temporal logic constraints.

Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Synchronous and asynchronous multi-agent coordination with cLTL+ constraints.

Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

SAT-based Distributed Reactive Control Protocol Synthesis for Boolean Networks.

Yunus Emre Sahin, Necmiye Ozay

CoRR, 2016

WiP Abstract: Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT Solving.

Yunus Emre Sahin, Necmiye Ozay

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016