Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- theorem proving
- first order logic
- moment invariants
- hierarchical data
- invariant features
- neural network
- temporal logic
- affine invariant
- real time systems
- imperative programs
- computer vision
- expert systems
- nested relations
- pattern recognition
- geometric invariants
- information retrieval