Login / Signup

Provably Correct Configuration Management of Precision Feeding in Agriculture4.0.

Gert KanterJuri VainSeshadhri SrinivasanSrini Ramaswamy
Published in: SMC (2019)
Keyphrases
  • provably correct
  • configuration management
  • network management
  • formal methods
  • situation calculus
  • high precision
  • error estimates
  • interval arithmetic
  • expert systems
  • information retrieval
  • cooperative
  • open source