An Axiomatic Specification for Sequential Memory Models.

William Mansky Dmitri Garbuzov Steve Zdancewic

Published in: CAV (2) (2015)

Keyphrases

probabilistic model
multi agent
experimental data
databases
complex systems
conceptual model
data mining
artificial intelligence
parameter estimation
process model
computing power