Skip To Main Content
Arya Raeesi on Muck Rack

Arya Raeesi

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
Back to Arya Raeesi’s profile

Articles by Arya Raeesi

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?
Show More