The Design and Regulation of Exchanges: A Formal Approach.

Mohit Garg Suneel Sarswat

Published in: CoRR (2022)

Keyphrases

design methodology
artificial intelligence
information technology
design process
computer aided
formal methods
multi agent
digital libraries
probabilistic model
building blocks
formal model
design principles
design space