Follow
Yunus Emre Sahin
Title
Cited by
Cited by
Year
Multirobot coordination with counting temporal logics
YE Sahin, P Nilsson, N Ozay
IEEE Transactions on Robotics 36 (4), 1189-1206, 2019
602019
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
442018
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
292020
Provably-correct coordination of large collections of agents with counting temporal logic constraints
YE Sahin, P Nilsson, N Ozay
Proceedings of the 8th International Conference on Cyber-Physical Systems …, 2017
282017
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
212017
From drinking philosophers to asynchronous path-following robots
YE Sahin, N Ozay
Automatica 151, 110873, 2023
8*2023
Intention-aware supervisory control with driving safety applications
N Ozay, YE Sahin, Z Liu, K Rutledge, SZ Yong, D Panagou
US Patent 11,242,059, 2022
52022
Multi-agent coordination subject to counting constraints: A hierarchical approach
YE Sahin, N Ozay, S Tripakis
Distributed Autonomous Robotic Systems: The 14th International Symposium …, 2019
52019
Provably-correct coordination of large collections of agents with counting temporal logic constraints. In 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems …
YE Sahin, P Nilsson, N Ozay
IEEE, 2017
52017
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
32019
Adaptive optimization of decision making for vehicle control
S Di Cairano, R Quirynen, YE Sahin
US Patent 11,650,590, 2023
22023
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
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–14