An exact schedulability test for non-preemptive self-suspending real-time tasks B Yalcinkaya, M Nasri, BB Brandenburg 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019 | 41* | 2019 |
An automated system repair framework with signal temporal logic M Ergurtuna, B Yalcinkaya, E Aydin Gol Acta Informatica 59 (2), 183-209, 2022 | 10 | 2022 |
Learning deterministic finite automata decompositions from examples and demonstrations N Lauffer, B Yalcinkaya, M Vazquez-Chanlatte, A Shah, SA Seshia Conference on Formal MEthods in Computer-Aided Design–FMCAD 2022, 325, 2022 | 5 | 2022 |
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber–Physical Systems B Yalcinkaya, H Torfah, A Desai, SA Seshia IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2023 | 4 | 2023 |
Clock reduction in timed automata while preserving design parameters B Yalcinkaya, EA Gol 2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019 | 2 | 2019 |
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications B Yalcinkaya, H Torfah, DJ Fremont, SA Seshia International Conference on Runtime Verification, 191-212, 2023 | 1 | 2023 |
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning A Shah, J DeCastro, J Gideon, B Yalcinkaya, G Rosman, SA Seshia arXiv preprint arXiv:2303.17010, 2023 | | 2023 |
ATAC: A Tool for Automating Timed Automata Construction B Yalcinkaya, EA Gol arXiv preprint arXiv:1905.08169, 2019 | | 2019 |
Towards Fully-Compositional Simulation-Based Analysis of Autonomous Systems B Yalcinkaya, DJ Fremont, SA Seshia | | |
Automata Conditioned Reinforcement Learning with Experience Replay B Yalcinkaya, N Lauffer, M Vazquez-Chanlatte, S Seshia NeurIPS 2023 Workshop on Goal-Conditioned Reinforcement Learning, 0 | | |