Expresso: Comprehensively Reasoning About External Routes Using Symbolic Simulation.

Dan Wang Peng Zhang Aaron Gember-Jacobson

Published in: SIGCOMM (2024)

Keyphrases

simulation model
qualitative simulation
database
evolutionary algorithm
qualitative reasoning
symbolic representation
neural network
learning algorithm
expert systems
mathematical model
internal and external
simulation software