Polynomial reachability witnesses via Stellensätze

A Asadi, K Chatterjee, H Fu, AK Goharshady… - Proceedings of the …, 2021 - dl.acm.org
We consider the fundamental problem of reachability analysis over imperative programs
with real variables. Previous works that tackle reachability are either unable to handle …
被引用次数：36 相关文章

Polynomial Reachability Witnesses via Stellensätze

A Asadi, K Chatterjee, H Fu… - … 2021: Proceedings of …, 2021 - repository.ust.hk
We consider the fundamental problem of reachability analysis over imperative programs
with real variables. Previous works that tackle reachability are either unable to handle …

Polynomial reachability witnesses via Stellensätze

A Asadi, K Chatterjee, H Fu… - … of the 42nd ACM …, 2021 - research-explorer.ista.ac.at
We consider the fundamental problem of reachability analysis over imperative programs
with real variables. Previous works that tackle reachability are either unable to handle …

Polynomial Reachability Witnesses via Stellensätze

A Asadi, K Chatterjee, H Fu, AK Goharshady… - 42nd ACM Conference …, 2021 - hal.science
We consider the fundamental problem of reachability analysis over imperative programs
with real variables. Previous works that tackle reachability are either unable to handle …
[PDF] archive.org

[PDF][PDF] Polynomial Reachability Witnesses via Stellensätze

A Asadi, K Chatterjee, H Fu, AK Goharshady… - scholar.archive.org
We consider the fundamental problem of reachability analysis over imperative programs
with real variables. Previous works that tackle reachability are either unable to handle …
[PDF] hal.science

[PDF][PDF] Polynomial Reachability Witnesses via Stellensätze

A Asadi, K Chatterjee, H Fu, AK Goharshady… - hal.science
We consider the fundamental problem of reachability analysis over imperative programs
with real variables. Previous works that tackle reachability are either unable to handle …