Skip To Main Content
Beyazit Yalcinkaya on Muck Rack

Beyazit Yalcinkaya

As seen in: arXiv
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Beyazit

Contact Beyazit, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

Computer Science > Logic in Computer Science

|
By Kevin Chang, Arya Raeesi, Beyazit Yalcinkaya
| arXiv
[Submitted on 4 Oct 2026] Title:Scenario-Based Compositional Statistical Model Checking for Safety Specifications View a PDF of the paper titled Scenario-Based Compositional Statistical Model Checking for Safety Specifications, by Abhinav Pomalapally and 4 other authors View PDF HTML (experimental) Abstract:In safety-critical domains such as autonomous driving, systems must be evaluated across a large number of environment conditions, often represented as composite scenarios built from...
Open in Who Shared Issue with article?
See all 1 articles