| Multirobot coordination with counting temporal logics YE Sahin, P Nilsson, N Ozay IEEE Transactions on Robotics 36 (4), 1189-1206, 2019 | 74 | 2019 |
| 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 | 50 | 2018 |
| 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 | 40 | 2020 |
| 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 | 31 | 2017 |
| 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 | 27 | 2017 |
| 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 | 7 | 2022 |
| 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 | 6 | 2019 |
| 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 | 5 | 2019 |
| 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 | 5 | 2017 |
| Adaptive optimization of decision making for vehicle control S Di Cairano, R Quirynen, YE Sahin US Patent 11,650,590, 2023 | 4 | 2023 |
| 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 | 1 | 2016 |
| 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 |
Necmiye OzayEECS, University of MichiganVerified email at umich.edu
