Maybe or Maybe Not: Contributions to Stochastic Verification.
Ralf WimmerErika ÁbrahámPublished in: Aspekte der Technischen Informatik (2014)
Keyphrases
- model checking
- monte carlo
- formal analysis
- stochastic nature
- social networks
- data structure
- expert systems
- concurrent systems
- high security
- asynchronous circuits
- stochastic programming
- formal verification
- learning automata
- face verification
- database
- optimal solution
- multiscale
- case study
- computer vision
- genetic algorithm
- information retrieval
- neural network
- data sets