The Approximate Correctness of Systems Based on δ-bisimulation.

Yanfang Ma Haiyu Pan

Published in: ISDT (2017)

Keyphrases

management system
distributed systems
complex systems
systems require
machine learning
information retrieval
data structure
control system
information retrieval systems
building blocks
heuristic search