Verification of Token-Scaling Models using an Under-Approximation.

Torsten Liebke Karsten Wolf

Published in: PNSE@Petri Nets (2020)

Keyphrases

complex systems
statistical models
search engine
databases
information retrieval
lower bound
artificial neural networks
probabilistic model
parameter estimation
experimental data
parametric models