JANI: Quantitative Model and Tool Interaction.
Carlos E. BuddeChristian DehnertErnst Moritz HahnArnd HartmannsSebastian JungesAndrea TurriniPublished in: TACAS (2) (2017)
Keyphrases
- computational model
- theoretical analysis
- conceptual model
- mathematical model
- agent model
- parameter values
- probability distribution
- formal model
- real time
- parameter estimation
- prediction model
- probabilistic model
- high level
- website
- qualitative and quantitative
- quantitative and qualitative
- graphical representation
- computational models
- sensitivity analysis
- human computer interaction
- model selection
- management system
- prior knowledge
- learning environment
- objective function
- data sets