Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling.
Thomas LewMarco PavonePublished in: CoRR (2020)
Keyphrases
- set theory
- reachability analysis
- monte carlo
- model checking
- markov decision processes
- first order logic
- fuzzy set theory
- timed automata
- partial order
- rough sets
- mathematical morphology
- rough set theory
- fuzzy sets
- markov chain monte carlo
- algebraic geometry
- incremental algorithms
- probability theory
- state space
- temporal logic
- computer vision
- markov chain
- computational intelligence
- pattern recognition
- image processing