Finite abstractions of max-plus-linear systems: Theory and algorithms

More Info
expand_more