Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017.
Published in: SNR@ETAPS (2017)
Keyphrases
- international workshop
- numerical methods
- reachability analysis
- markov decision processes
- signal to noise ratio
- differential equations
- model checking
- domain driven data mining
- pacific rim
- partial differential equations
- timed automata
- selected papers
- lecture notes in artificial intelligence
- revised selected papers
- incremental algorithms
- acm sigkdd
- finite difference method
- noise reduction
- machine learning
- state space
- multiresolution
- computer vision
- image denoising
- dynamical systems
- artificial intelligence