26 citations · 73 across the 27 of their papers we have counts for
4 papers · 1 filter
Closure Certificates
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
A barrier certificate, defined over the states of a dynamical system, is a real-valued function whose zero level set characterizes an inductively verifiable state invariant separat…
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…
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate +1
Stochastic hybrid systems have received significant attentions as a relevant modelling framework describing many systems, from engineering to the life sciences: they enable the stu…
Opacity of nondeterministic transition systems: A (bi)simulation relation approach
Kuize Zhang, Xiang Yin, Majid Zamani
In this paper, we propose several opacity-preserving (bi)simulation relations for general nondeterministic transition systems (NTS) in terms of initial-state opacity, current-state…