1,295 followers
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. https://t.co/7ydkf1EoY6
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. https://t.co/7ydkf1EoY6
"Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. (arXiv:1801.08718v1 [cs.LO])" #arXiv https://t.co/bubqjHkYqQ
Minimization of Visibly Pushdown Automata Using Partial Max-SAT https://t.co/Dff3e1IHJl
Minimization of Visibly Pushdown Automata Using Partial Max-SAT. (arXiv:1701.05160v2 [cs.FL] UPDATED) https://t.co/piOcPRBqwx