Beyazit Yalcinkaya

14 papers A* 1A 1B 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning.
CoRR
Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Hanna Krasowski, Sanjit A. Seshia
2025 — conf
Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning.
NeuS
Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2025 J jnl
Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning.
CoRR
Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2024 A* conf
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning.
NeurIPS
Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2024 J jnl
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning.
CoRR
Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2023 B conf
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications.
RV
Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
2023 J jnl
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning.
CoRR
Ameesh Shah, Jonathan A. DeCastro, John Gideon, Beyazit Yalcinkaya, Guy Rosman, Sanjit A. Seshia
2023 J jnl
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
2022 J jnl
An automated system repair framework with signal temporal logic.
Acta Informatica
Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
2022 B conf
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations.
FMCAD
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
2022 J jnl
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations.
CoRR
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
2019 J jnl
ATAC: A Tool for Automating Timed Automata Construction.
CoRR
Beyazit Yalcinkaya, Ebru Aydin Gol
2019 A conf
An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks.
DATE
Beyazit Yalcinkaya, Mitra Nasri, Björn B. Brandenburg
2019 — conf
Clock reduction in timed automata while preserving design parameters.
FormaliSE@ICSE
Beyazit Yalcinkaya, Ebru Aydin Gol