Validating Event-B models using PDDL.

Farah Fourati Mohamed Tahar Bhiri Riadh Robbana

Published in: KES (2022)

Keyphrases

statistical models
parameter estimation
probabilistic model
complex systems
state space
model selection
experimental data
constraint satisfaction
autoregressive
temporal sequences
event models