Resource-Aware Verification Using Randomized Exploration of Large State Spaces.
Nazha AbedStavros TripakisJean-Marc VincentPublished in: SPIN (2008)
Keyphrases
- state space
- markov chain
- model checking
- formal analysis
- person identification
- formal verification
- orders of magnitude
- face verification
- quasi monte carlo
- databases
- signature verification
- heuristic search
- reinforcement learning algorithms
- monte carlo
- search space
- lower bound
- concurrent systems
- active exploration
- information systems