Symbolic bisimulation for open and parameterized systems.

Zechen Hou Eric Madelaine

Published in: PEPM@POPL (2020)

Keyphrases

expert systems
distributed systems
complex systems
real world
learning algorithm
computer vision
high level
database systems
multiscale
search algorithm
evolutionary algorithm