Muhammad Syifa'ul Mufid

Identifiers

No identifiers captured yet.

Papers (2)

1. Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions cs.LO · 2019 · author #1
2. Tropical Abstractions of Max-Plus-Linear Systems cs.SY · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Dieky Adzkiya 2 shared papers
• Alessandro Abate 1 shared papers
• Alessndro Abate 1 shared papers