Statistical Model Checking with Change Detection.
Axel LegayLouis-Marie TraonouezPublished in: LNCS Trans. Found. Mastering Chang. (2016)
Keyphrases
- change detection
- model checking
- temporal logic
- remote sensing
- temporal properties
- remote sensing images
- automated verification
- formal specification
- data streams
- symbolic model checking
- model checker
- formal verification
- partial order reduction
- remotely sensed images
- image registration
- computation tree logic
- land cover
- reachability analysis
- pspace complete
- finite state
- satellite images
- remote sensing imagery
- concurrent systems
- timed automata
- verification method
- epistemic logic
- process algebra
- remotely sensed data
- bounded model checking
- asynchronous circuits
- modal logic
- transition systems
- linear temporal logic
- man made structures
- detection algorithm
- image data
- gamma distributions
- satisfiability problem
- computer vision