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

Syifa’ul Mufid M, Adzkiya D, Abate A

2019

Conference paper

Journal:

Lecture Notes in Computer Science

Volume:

11750

Springer Nature

pp.

142 - 159

No abstract available

Keywords:

4613 Theory Of Computation

46 Information and Computing Sciences

4602 Artificial Intelligence

DOI