SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems.
Saved in:
| Title: | SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems. |
|---|---|
| Authors: | Mufid, Muhammad Syifaaul1, Muhammad.Syifaul.Mufid@cs.ox.ac.uk, Adzkiya, Dieky2, dieky@matematika.its.ac.id, Abate, Alessandro1, aabate@cs.ox.ac.uk |
| Source: | IEEE Transactions on Automatic Control; Jun2022, Vol. 67 Issue 6, p2700-2714, 15p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00189286 |
|---|---|
| DOI: | 10.1109/TAC.2021.3090525 |
