Considering Typestate Verification for Quantified Event Automata.
Giles RegerPublished in: ISoLA (1) (2016)
Keyphrases
- event detection
- cellular automata
- model checking
- event recognition
- finite automata
- formal verification
- face recognition
- news articles
- lattice gas
- probabilistic automata
- fingerprint verification
- face verification
- neural network
- finite state machines
- artificial intelligence
- genetic algorithm
- temporal structure
- person identification
- machine learning
- finite state automata
- verification method
- multimodal biometrics
- events occurring
- events occur
- databases