Precisely deciding CSL formulas through approximate model checking for CTMCs
Under an Elsevier user license
open archive
Keywords
Continuous-time Markov chains
Decision algorithm for CSL
Transcendental numbers
Approximation algorithm
Cited by (0)
© 2017 Elsevier Inc.