Login / Signup
Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes.
Enrico Vicario
Published in:
QEST (2008)
Keyphrases
</>
quantitative evaluation
finite state machines
ground truth
distributed systems
expert systems
qualitative evaluation
ground truth data
computer systems
petri net
state transition
multiresolution
monte carlo
quality assessment
intelligent systems
state space
formal methods
verification method
reinforcement learning