Follow
Muhammad Syifa'ul Mufid
Title
Cited by
Cited by
Year
ARCH-COMP19 category report: Hybrid systems with piecewise constant dynamics
G Frehse, A Abate, D Adzkiya, A Becchi, L Bu, A Cimatti, M Giacobbe, ...
EasyChair, 2019
142019
Bounded model checking of max-plus linear systems via predicate abstractions
M Syifa’ul Mufid, D Adzkiya, A Abate
Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019
82019
Tropical abstractions of max-plus linear systems
MS Mufid, D Adzkiya, A Abate
Formal Modeling and Analysis of Timed Systems: 16th International Conference …, 2018
82018
Computation of the transient in max-plus linear systems via SMT-solving
A Abate, A Cimatti, A Micheli, MS Mufid
International Conference on Formal Modeling and Analysis of Timed Systems …, 2020
72020
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
L Bu, A Abate, D Adzkiya, MS Mufid, R Ray, Y Wu, E Zaffanella
ARCH, 1-15, 2020
62020
Symbolic reachability analysis of high dimensional max-plus linear systems
MS Mufid, D Adzkiya, A Abate
IFAC-PapersOnLine 53 (4), 459-465, 2020
62020
Eigenvalues and eigenvectors of latin squares in max-plus algebra
MS Mufid
Journal of the Indonesian Mathematical Society, 37-45, 2014
62014
Matematika: Buku Guru/Kementerian Pendidikan dan Kebudayaan
W Subchan, MS Mufid, K Fahim, WH Syaifudin
Jakarta: Kementerian Pendidikan dan Kebudayaan, 2018
52018
SMT-based reachability analysis of high dimensional interval max-plus linear systems
MS Mufid, D Adzkiya, A Abate
IEEE Transactions on Automatic Control 67 (6), 2700-2714, 2021
42021
Matematika SMP/MTs Kelas IX
W Subchan, M Mufid, K Fahim, W Syaifudin
Pusat Kurikulum dan Perbukuan, Balitbang, Kemendikbud, 2018
42018
On the Lagrange interpolation of Fibonacci sequence
MS Mufid, T Asfihani, L Hanafi
(IJCSAM) International Journal of Computing Science and Applied Mathematics …, 2016
42016
Eigenproblems of latin squares in bipartite (min,max,+)-systems
Subiono, MS Mufid, D Adzkia
Discrete Event Dynamic Systems 26 (4), 657–668, 2016
32016
SMT-based model checking of max-plus linear systems
MSU Mufid, A Micheli, A Abate, A Cimatti
Schloss Dagstuhl, 2021
22021
Control design of discrete-time unicycle model using satisfiability modulo theory
D Adzkiya, MS Mufid, FS Saputri, A Abate
Systems Science & Control Engineering 12 (1), 2316166, 2024
2024
Solving linear equations over maxmin-ω systems
MS Mufid, E Patel, S Sergeev
Linear Algebra and its Applications 681, 21-46, 2024
2024
Peningkatan Kompetensi Guru dan Siswa SMAN 1 Kraksaan dan SMAS Taman Madya Kraksaan untuk Menghadapi Olimpiade Sains Kabupaten (OSK) Bidang Matematika dan Informatika di …
K Fahim, C Imron, I Herisman, MS Mufid
Sewagati 8 (2), 2024
2024
Control Design of Autonomous Cars Using Satisfiability Modulo Theory
MN Hidayati, FS Saputri, MSU Mufid, D Adzkiya
2023 International Conference on Advanced Mechatronics, Intelligent …, 2023
2023
Formal Analysis and Verification of Max-Plus Linear Systems
MS Mufid, A Micheli, A Abate, A Cimatti
arXiv preprint arXiv:2308.10587, 2023
2023
Formal Analysis and Verification of Max-Plus Linear Systems
M Syifa'ul Mufid, A Micheli, A Abate, A Cimatti
arXiv e-prints, arXiv: 2308.10587, 2023
2023
Solving Linear Equations Over Maxmin- Systems
M Syifa'ul Mufid, E Patel, S Sergeev
arXiv e-prints, arXiv: 2308.00690, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20