Validation Without Data - Formalizing Stylized Facts of Time Series
2023 Winter Simulation Conference (WSC)（2023）
Key words
Time Series,Stylized Facts,Statistical Tests,Simulation Model,Natural Language,Applicability Domain,Formal Language,Trust Model,Simulated Traces,Connective,Financial Crisis,Birth Rate,Gross Domestic Product,Parametrized,Logic Model,Stochastic Simulations,Properties Of Series,Aggregate Value,Real Economy,Model Checking,Temporal Logic,Temporal Operators,Real Gross Domestic Product,Number Of Time Periods,Time Series Properties,Crude Birth Rate,Countercyclical,Language Constructs,Behavior Of Time Series,Model Validation
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined