Negative Results on Decidability and Small Model Property of Process Equations.
Xinxin LiuPublished in: Models, Algorithms, Logics and Tools (2017)
Keyphrases
- mathematical model
- probabilistic model
- process model
- high level
- conceptual model
- small number
- prior knowledge
- computational model
- statistical model
- sensitivity analysis
- formal model
- numerical methods
- cost function
- management system
- objective function
- reinforcement learning
- web services
- partial differential equations
- prediction model
- diffusion process
- recognition process