An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks. - Beyazit Yalcinkaya; Mitra Nasri; Björn B. Brandenburg (DATE, 2019)

Clock reduction in timed automata while preserving design parameters. - Beyazit Yalcinkaya; Ebru Aydin Gol (FormaliSE@ICSE, 2019)

ATAC: A Tool for Automating Timed Automata Construction. - Beyazit Yalcinkaya; Ebru Aydin Gol (CoRR, 2019)

Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. - Niklas Lauffer; Beyazit Yalcinkaya; Marcell Vazquez-Chanlatte; Ameesh Shah; Sanjit A. Seshia (FMCAD, 2022)

An automated system repair framework with signal temporal logic. - Mert Ergurtuna; Beyazit Yalcinkaya; Ebru Aydin Gol (Acta Informatica, 2022)

Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. - Beyazit Yalcinkaya; Hazem Torfah; Daniel J. Fremont; Sanjit A. Seshia (RV, 2023)

Specification-Guided Data Aggregation for Semantically Aware Imitation Learning. - Ameesh Shah; Jonathan A. DeCastro; John Gideon; Beyazit Yalcinkaya; Guy Rosman; Sanjit A. Seshia (CoRR, 2023)

Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems. - Beyazit Yalcinkaya; Hazem Torfah; Ankush Desai; Sanjit A. Seshia (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning. - Beyazit Yalcinkaya; Niklas Lauffer; Marcell Vazquez-Chanlatte; Sanjit Seshia (NeurIPS, 2024)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning. - Beyazit Yalcinkaya; Niklas Lauffer; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (NeuS, 2025)