Sampling-Based Verification of CTMCs with Uncertain Rates.

Thom S. Badings Nils Jansen Sebastian Junges Mariëlle Stoelinga Matthias Volk

Published in: CoRR (2022)

Keyphrases

decision making
formal verification
false acceptance
formal methods
face verification
monte carlo
motion planning
concurrent systems
data structure
neural network
sufficient conditions
real time
evolutionary algorithm
video sequences
cryptographic protocols
verification method
e learning
robust stability