Yunus Emre Sahin
Title
Cited by
Cited by
Year
Provably-correct coordination of large collections of agents with counting temporal logic constraints
YE Sahin, P Nilsson, N Ozay
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS …, 2017
202017
Using control synthesis to generate corner cases: A case study on autonomous driving
G Chou, YE Sahin, L Yang, KJ Rutledge, P Nilsson, N Ozay
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
152018
Multirobot coordination with counting temporal logics
YE Sahin, P Nilsson, N Ozay
IEEE Transactions on Robotics 36 (4), 1189-1206, 2019
132019
Synchronous and asynchronous multi-agent coordination with cltl+ constraints
YE Sahin, P Nilsson, N Ozay
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 335-342, 2017
122017
From drinking philosophers to wandering robots
YE Sahin, N Ozay
arXiv preprint arXiv:2001.00440, 2020
62020
Multi-agent coordination subject to counting constraints: A hierarchical approach
YE Sahin, N Ozay, S Tripakis
Distributed Autonomous Robotic Systems, 265-281, 2019
42019
Autonomous vehicle decision-making and monitoring based on signal temporal logic and mixed-integer programming
YE Sahin, R Quirynen, S Di Cairano
2020 American Control Conference (ACC), 454-459, 2020
12020
Intention-aware supervisory control with driving safety applications
YE Sahin, Z Liu, K Rutledge, D Panagou, SZ Yong, N Ozay
2019 IEEE Conference on Control Technology and Applications (CCTA), 1-8, 2019
12019
WiP abstract: Distributed reactive control synthesis for aircraft electric power systems via SAT solving
YE Sahin, N Ozay
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS …, 2016
12016
Intention-aware supervisory control with driving safety applications
N Ozay, YE Sahin, Z Liu, K Rutledge, SZ Yong, D Panagou
US Patent App. 16/394,508, 2020
2020
Coordination of Multirobot Systems Under Temporal Constraints
Y Sahin
2020
SAT-based distributed reactive control protocol synthesis for boolean networks
YE Sahin, N Oza
2016 IEEE Conference on Computer Aided Control System Design (CACSD), 874-880, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–12