Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata.
S. AkshayPaul GastinKarthik R. PrakashPublished in: CAV (1) (2021)
Keyphrases
- learning algorithm
- computational efficiency
- orders of magnitude
- computational cost
- reachability analysis
- timed automata
- recently developed
- times faster
- significant improvement
- genetic algorithm
- neural network
- database
- worst case
- machine learning algorithms
- case study
- model checking
- information systems
- data structure
- image processing
- theorem proving
- data mining