PV1 DetLPcomparator of two weighted automata

Application domain/field

Expected input

Format:

Expected output

True if PdQ

Internals

Linear-programming based DS-inclusion DS-inclusion: quantitative inclusion for discounted-sum weighted automata Quantitative inclusion: comparing quantitative dimensions between systems such as energy consumption and worst-case execution time. Uses GLPSOL, Reduce.
Automaton

Links

Repository: https://github.com/suguman/DetLP

Last commit date

7 October 2017

Related papers

https://doi.org/10.1007/978-3-319-96142-2_9

Last publication date

18 July 2018

ProVerB specific

View/edit source (Markdown)



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