Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

Suzana Andova Mark van den Brand Luc Engelen

Published in: AMMSE (2011)

Keyphrases

formal verification
statistical models
model selection
neural network
logic programming
metamodel
artificial intelligence
high level
reinforcement learning
probabilistic model