Collaborated with:
Z.Kincaid
Talks about:
vector (1) system (1) summar (1) ration (1) addit (1) loop (1)
Person: Jake Silverman
DBLP: Silverman:Jake
Contributed to:
Wrote 1 papers:
- CAV-2019-SilvermanK #summary
- Loop Summarization with Rational Vector Addition Systems (JS, ZK), pp. 97–115.