Login / Signup
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.
Alessandro Abate
Alessandro Cimatti
Andrea Micheli
Muhammad Syifa'ul Mufid
Published in:
FORMATS (2020)
Keyphrases
</>
linear systems
sparse linear systems
dynamical systems
sufficient conditions
linear equations
coefficient matrix
steady state
preconditioned conjugate gradient method
neural network
machine learning
real time
knn
linear combination
numerical solution
statistical machine translation