7 citations · 12 across the 7 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2023★ 7 cited
Specification-Guided Critical Scenario Identification for Automated Driving
Adam Molin, Edgar A. Aguilar, Dejan Ničković +3
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framewor…
math.OC2012★ 2 cited
Event-Triggered Estimation of Linear Systems: An Iterative Algorithm and Optimality Properties
Adam Molin, Sandra Hirche
This report investigates the optimal design of event-triggered estimation for first-order linear stochastic systems. The problem is posed as a two-player team problem with a partia…