PV1 ⊧ QuIPFlycomparator of two weighted automata

DS-inclusion with integer discount-factor with safety/co-safety comparators

Uses RABIT.

It is called a prototype tool in the paper.

Repository: Not linked in paper, on first author's webpage nor on first author's Github

12 July 2019

Probably related to QuIP by the same authors. The authors claim that QuIPFly outperforms QuIP "by at least an order of magnitude in runtime".
Also compared to DetLP in the CAV 2019 paper. The authors claim that QuIPFly outperforms DetLP both in runtime and number of benchmarks solved.