Muhammad Syifa'ul Mufid | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Alessandro Abate
52 publications
Alessandro Cimatti
10 publications
Andrea Micheli
5 publications
Dieky Adzkiya
2 publications

research

∙ 07/09/2020

Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems

This work discusses the reachability analysis (RA) of Max-Plus Linear (M...

0 Muhammad Syifa'ul Mufid, et al. ∙

research

∙ 07/01/2020

Computation of the Transient in Max-Plus Linear Systems via SMT-Solving

This paper proposes a new approach, grounded in Satisfiability Modulo Th...

0 Alessandro Abate, et al. ∙

research

∙ 07/08/2019

Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions

This paper introduces the abstraction of max-plus linear (MPL) systems v...

0 Muhammad Syifa'ul Mufid, et al. ∙