Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling.
Thomas LewMarco PavonePublished in: CoRL (2020)
Keyphrases
- set theory
- reachability analysis
- model checking
- monte carlo
- markov decision processes
- first order logic
- timed automata
- partial order
- fuzzy set theory
- rough sets
- state space
- markov chain monte carlo
- fuzzy sets
- rough set theory
- incremental algorithms
- mathematical morphology
- probability theory
- computer vision
- temporal logic
- reinforcement learning
- color images
- theoretical framework
- gray scale
- gray level