Research on public opinion effecting on stock price during crises based on model checking.
Yu MaPeng WuChen LingShengchun DingPublished in: Expert Syst. Appl. (2024)
Keyphrases
- model checking
- stock price
- public opinion
- exchange rate
- temporal logic
- social media
- stock market
- sentiment analysis
- non stationary
- historical data
- formal verification
- financial markets
- opinion mining
- temporal properties
- symbolic model checking
- formal specification
- news articles
- model checker
- automated verification
- financial data
- formal methods
- concurrent systems
- computation tree logic
- positive or negative
- timed automata
- verification method
- reactive systems
- transition systems
- epistemic logic
- databases
- modal logic
- knowledge discovery
- linear temporal logic