Formally Verified Trades in Financial Markets.

Suneel Sarswat Abhishek Kr Singh

Published in: ICFEM (2020)

Keyphrases

financial markets
stock market
portfolio selection
stock price
market data
risk management
technical indicators
trading rules
agent based modeling
global economy
portfolio theory
stock returns
agent based models
decision making
trading strategies
trading systems
information extraction
data analysis
data mining