Login / Signup
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods.
Giorgio Bacci
Giovanni Bacci
Kim G. Larsen
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Published in:
CoRR (2021)
Keyphrases
</>
significant improvement
search methods
decision trees
computationally expensive
qualitative and quantitative
multiscale
preprocessing
computational cost
high dimensional data
benchmark datasets
statistical methods
heuristic methods