Sotabase

Career

· PhD candidate in Computer Science, UC Berkeley2020–

Publications (13)

An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks
Design, Automation and Test in Europe · 2019
45
cited
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
Neural Information Processing Systems · 2024
15
cited
An automated system repair framework with signal temporal logic
Acta Informatica · 2021
9
cited
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations
Formal Methods in Computer-Aided Design · 2022
7
cited
Automata Conditioned Reinforcement Learning with Experience Replay
5
cited
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications
Runtime Verification · 2023
4
cited
Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
NeuS · 2025
3
cited
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber–Physical Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2023
3
cited
Clock Reduction in Timed Automata While Preserving Design Parameters
FME Workshop on Formal Methods in Software Engineering · 2019
2
cited
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning
arXiv.org · 2023
2
cited
ATAC: A Tool for Automating Timed Automata Construction
arXiv.org · 2019
Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
arXiv.org · 2025
Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks
2019
Sotabase
Beyazit Yalcinkaya | Researcher Profile | Sotabase | Sotabase