Cut-off theorems for the PV-model.

Lisbeth Fajstrup

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

computational model
formal model
probability distribution
hybrid model
real time
cost function
website
artificial intelligence
objective function
pairwise
high level
case study
management system
energy function
statistical model
experimental data
genetic algorithm