129 citations · 211 across the 78 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Verification of Switched Stochastic Systems via Barrier Certificates
Mahathi Anand, Pushpak Jagtap, Majid Zamani
The paper presents a methodology for temporal logic verification of continuous-time switched stochastic systems. Our goal is to find the lower bound on the probability that a compl…
eess.SY2021
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions
Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani
In this paper, we study formal synthesis of control policies for partially observed jump-diffusion systems against complex logic specifications. Given a state estimator, we utilize…