1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
The Design and Regulation of Exchanges: A Formal Approach
Mohit Garg, Suneel Sarswat
We use formal methods to specify, design, and monitor continuous double auctions, which are widely used to match buyers and sellers at exchanges of foreign currencies, stocks, and…
cs.DC2021
Can Connected Autonomous Vehicles really improve mixed traffic efficiency in realistic scenarios?
Mohit Garg, Cian Johnston, Mélanie Bouroche
Connected autonomous vehicles (CAVs) can supplement the information from their own sensors with information from surrounding CAVs for decision making and control. This has the pote…