Dieky Adzkiya

Identifiers

No identifiers captured yet.

Papers (3)

1. Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions cs.LO · 2019 · author #2
2. Tropical Abstractions of Max-Plus-Linear Systems cs.SY · 2018 · author #2
3. Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata cs.SY · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Muhammad Syifa'ul Mufid 2 shared papers
• Alessandro Abate 1 shared papers
• Alessndro Abate 1 shared papers
• Manuel Mazo Jr 1 shared papers