Polynomial reachability witnesses via Stellensätze.

Ali Asadi Krishnendu Chatterjee Hongfei Fu Amir Kafshdar Goharshady Mohammad Mahdavi

Published in: PLDI (2021)

Keyphrases

low order
information systems
algebraic geometry
real time
state space
database
data sets
neural network
multimedia
case study
multi agent
expert systems
relational databases
search space
special case
poor quality