2 papers
cs.LO2026
Scenario-Based Compositional Statistical Model Checking for Safety Specifications
Abhinav Pomalapally, Arya Raeesi, Kevin Kai-Chun Chang +2
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 fro…
cs.LG2023
Scrap Your Schedules with PopDescent
Abhinav Pomalapally, Bassel El Mabsout, Renato Mansuco
In contemporary machine learning workloads, numerous hyper-parameter search algorithms are frequently utilized to efficiently discover high-performing hyper-parameter values, such…