Formally Verified Trades in Financial Markets.

Suneel Sarswat Abhishek Kr Singh

Published in: CoRR (2020)

Keyphrases

financial markets
stock market
market data
stock price
portfolio selection
technical indicators
risk management
stock returns
agent based modeling
trading strategies
trading systems
agent based models
exchange rate
short term
question answering
dynamic programming
information systems