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