Viatra solver: a framework for the automated generation of consistent domain-specific models.
Oszkár SemeráthAren A. BabikianSebastian PilarskiDániel VarróPublished in: ICSE (Companion Volume) (2019)
Keyphrases
- domain specific
- modeling framework
- probabilistic model
- artificial intelligence
- general purpose
- bayesian framework
- statistical models
- accurate models
- real time
- spatial constraints
- generic model
- fully automated
- domain independent
- experimental data
- main contribution
- artificial neural networks
- search algorithm
- search engine