Comparator automata in quantitative verification.
Suguman BansalSwarat ChaudhuriMoshe Y. VardiPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- model checking
- cellular automata
- finite state machines
- quantitative and qualitative
- lattice gas
- finite automata
- qualitative and quantitative
- asynchronous circuits
- signature verification
- search engine
- verification method
- neural network
- person identification
- formal verification
- formal methods
- data sets
- probabilistic automata
- concurrent systems
- databases
- bayesian networks
- face verification
- real time
- real world
- e learning
- pattern matching
- reinforcement learning