Sarswat, Suneel
- Formal verification of trading in financial markets
2019/07/18 by Suneel Sarswat, Abhishek Kr Singh, Sarswat, Suneel +1 · 1 citation
Computer Science · Decision Sciences · #Auction Theory and Applications #Blockchain Technology Applications and Security #Computer Science and Game Theory (cs.GT) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Economics and business #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Symbolic Computation (cs.SC) #Trading and Market Microstructure (q-fin.TR)
- Formally Verified Trades in Financial Markets
2020/07/18 by Suneel Sarswat, Sarswat, Suneel, Abhishek Kr Singh +1 · 1 voice
Computer Science · Economics, Econometrics and Finance · #Computer Science and Game Theory (cs.GT) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Economics and business #Logic in Computer Science (cs.LO) #Trading and Market Microstructure (q-fin.TR) #cs.DS #cs.GT #cs.LO #q-fin.TR