Reachability relations of timed pushdown automata.
Lorenzo ClementeSlawomir LasotaPublished in: CoRR (2020)
Keyphrases
- timed automata
- model checking
- finite state machines
- finite state
- semantic relations
- state space
- finite automata
- transitive closure
- real time
- causal relations
- background knowledge
- cellular automata
- case study
- temporal logic
- expert systems
- spatial relations
- regular expressions
- reinforcement learning
- genetic algorithm
- discrete event
- machine learning
- data sets
- tree automata
- database
- probabilistic automata
- lattice gas