Yunus Emre Sahin

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 14

Top Topics

Electric Power Systems

Leader Follower

Top Venues

IEEE Trans. Robotics

Publications

Yunus Emre Sahin, Necmiye Ozay
From drinking philosophers to asynchronous path-following robots. Autom. 151 (2023)
Yunus Emre Sahin, Rien Quirynen, Stefano Di Cairano
Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming. ACC (2020)
Yunus Emre Sahin, Necmiye Ozay
From Drinking Philosophers to Wandering Robots. CoRR (2020)
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
Multirobot Coordination With Counting Temporal Logics. IEEE Trans. Robotics 36 (4) (2020)
Yunus Emre Sahin, Zexiang Liu, Kwesi J. Rutledge, Dimitra Panagou, Sze Zheng Yong, Necmiye Ozay
Intention-Aware Supervisory Control with Driving Safety Applications. CCTA (2019)
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
Multirobot Coordination with Counting Temporal Logics. CoRR (2018)
Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay
Using control synthesis to generate corner cases: A case study on autonomous driving. CoRR (2018)
Yunus Emre Sahin, Necmiye Ozay, Stavros Tripakis
Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach. DARS (2018)
Yunus Emre Sahin, Sertac Arisoy, Koray Kayabol
Anomaly detection with Bayesian Gauss Background Model in hyperspectral images. SIU (2018)
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
Provably-correct coordination of large collections of agents with counting temporal logic constraints. ICCPS (2017)
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
Synchronous and asynchronous multi-agent coordination with cLTL+ constraints. CDC (2017)
Yunus Emre Sahin, Necmiye Ozay
SAT-based Distributed Reactive Control Protocol Synthesis for Boolean Networks. CoRR (2016)
Yunus Emre Sahin, Necmiye Ozay
WiP Abstract: Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT Solving. ICCPS (2016)