Abstraction Refinement Algorithms for Timed Automata.
Victor RoussanalyOcan SankurNicolas MarkeyPublished in: CoRR (2019)
Keyphrases
- timed automata
- times faster
- neural network
- computer vision
- benchmark datasets
- computational cost
- computationally efficient
- reachability analysis
- theorem prover
- theoretical analysis
- optimization problems
- computational complexity
- probabilistic model
- significant improvement
- computationally expensive
- reinforcement learning
- recently developed
- high level
- image processing
- data sets