VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques

Author(s):  
Wenhui Zhang ◽  
Xue-Yang Zhu ◽  
Yu-Long Bao
Automatica ◽  
2021 ◽  
Vol 131 ◽  
pp. 109742
Author(s):  
Alexis J. Vallarella ◽  
Paula Cardone ◽  
Hernan Haimovich

1967 ◽  
Vol 4 (1) ◽  
pp. 192-196 ◽  
Author(s):  
J. N. Darroch ◽  
E. Seneta

In a recent paper, the authors have discussed the concept of quasi-stationary distributions for absorbing Markov chains having a finite state space, with the further restriction of discrete time. The purpose of the present note is to summarize the analogous results when the time parameter is continuous.


Author(s):  
Jati K. Sengupta ◽  
Phillip Fanchon

2017 ◽  
pp. 147-188
Author(s):  
Mevin B. Hooten ◽  
Devin S. Johnson ◽  
Brett T. McClintock ◽  
Juan M. Morales

Sign in / Sign up

Export Citation Format

Share Document