Login / Signup
The construction of controllable sublanguage of specification for DES via PCFs based inference.
Artem Davydov
Aleksandr Larionov
Nadezhda V. Nagul
Published in:
ICCS-DE (2020)
Keyphrases
</>
construction process
bayesian networks
probabilistic inference
high level
special case
bayesian inference
inference engine
specification language
information systems
clustering algorithm
multi agent systems
pairwise
graphical models
formal methods
inference process
formal verification