Login / Signup
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains.
Ernst Moritz Hahn
Holger Hermanns
Björn Wachter
Lijun Zhang
Published in:
Fundam. Informaticae (2009)
Keyphrases
</>
bounded model checking
continuous time markov chains
markov processes
model checking
formal verification
poisson distribution
temporal logic
numerically stable
linear temporal logic
markov chain
markov process
multi agent systems
stochastic processes
non stationary
random fields