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:
LICS (2021)
Keyphrases
</>
computationally expensive
benchmark datasets
database
significant improvement
machine learning methods
artificial intelligence
video sequences
preprocessing
artificial neural networks
computational cost
qualitative and quantitative
optimization methods
computationally intensive
complexity analysis