DaDRA: A Python Library for Data-Driven Reachability Analysis.
Jared MejiaAlex DevonportMurat ArcakPublished in: CoRR (2021)
Keyphrases
- reachability analysis
- data driven
- markov decision processes
- model checking
- open source
- incremental algorithms
- timed automata
- programming language
- open source software
- state space
- object oriented
- probability distribution
- graphical user interface
- development tools
- contextual information
- scripting language
- reinforcement learning
- dynamic programming
- computational complexity