Safe tasks: Run time verification of the RTFM-lang model of computation.
Marcus LindnerAndreas LindnerPer LindgrenPublished in: ETFA (2016)
Keyphrases
- cost function
- mathematical model
- search engine
- network model
- high level
- objective function
- probabilistic model
- sensitivity analysis
- computational model
- theoretical framework
- probability distribution
- autoregressive
- prediction model
- conceptual model
- experimental data
- genetic algorithm
- prior knowledge
- web services
- artificial intelligence