2 citations · 3 across the 10 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Control Closure Certificates
Vishnu Murali, Mohammed Adib Oumer, Majid Zamani
This paper introduces the notion of control closure certificates to synthesize controllers for discrete-time control systems against -regular specifications. Typical functional…
math.OC2025
-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
In this paper, we introduce two new types of barrier certificates that are based on multiple functions rather than a single one. A conventional barrier certificate for a stochastic…