Yunus Emre Sahin

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