Showing 1 - 2 results of 2 for search 'Mufid, MS', query time: 0.02s Refine Results
  1. 1
    Tropical abstractions of max-plus linear systems

    Tropical abstractions of max-plus linear systems by Mufid, MS, Adzkiya, D, Abate, A

    Published 2018
    Conference item
  2. 2
    Computation of the transient in max-plus linear systems via SMT-solving

    Computation of the transient in max-plus linear systems via SMT-solving by Abate, A, Cimatti, A, Micheli, A, Mufid, MS

    Published 2020
    Conference item

Search Tools: