PV1 QuIPFlycomparator of two weighted automata

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

Application domain/field

Internals

Uses RABIT.

Comments

It is called a prototype tool in the paper.
Automaton

Links

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

Related papers

https://doi.org/10.1007/978-3-030-25540-4_4 (CAV 2019)

Last publication date

12 July 2019

Related tools

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.