Data-Driven Reachability Analysis From Noisy Data.
Amr AlanwarAnne KochFrank AllgöwerKarl Henrik JohanssonPublished in: IEEE Trans. Autom. Control. (2023)
Keyphrases
- noisy data
- reachability analysis
- data driven
- model checking
- markov decision processes
- timed automata
- missing data
- learning from noisy data
- incremental algorithms
- noise tolerant
- state space
- high dimensional
- high dimensionality
- noise free
- database
- training data
- first order logic
- sufficient conditions
- search algorithm
- video sequences
- real time