Sign in

Polynomial reachability witnesses via Stellensätze.

Ali AsadiKrishnendu ChatterjeeHongfei FuAmir Kafshdar GoharshadyMohammad 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