Login / Signup
A Modal Characterization of Alternating Approximate Bisimilarity
Jinjin Zhang
Zhaohui Zhu
Published in:
CoRR (2012)
Keyphrases
</>
modal logic
multi agent systems
least squares
description logics
database
databases
neural network
decision trees
bayesian networks
piecewise linear
efficient computation
exact solution