52 citations · 201 across the 50 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
eess.SY2022★ 1 cited
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh +4
In this paper, we consider the problem of synthesizing a controller in the presence of uncertainty such that the resulting closed-loop system satisfies certain hard constraints whi…
cs.RO2022★ 2 cited
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh +2
Automated vehicles (AV) heavily depend on robust perception systems. Current methods for evaluating vision systems focus mainly on frame-by-frame performance. Such evaluation metho…