Comparator automata in quantitative verification.
Suguman BansalSwarat ChaudhuriMoshe Y. VardiPublished in: CoRR (2018)
Keyphrases
- markov chain
- finite state
- model checking
- state space
- qualitative and quantitative
- tree automata
- concurrent systems
- signature verification
- neural network
- finite state machines
- timed automata
- data sets
- verification method
- face verification
- regular expressions
- cellular automata
- natural language
- multi agent
- database systems
- metadata
- information systems
- information retrieval
- data mining