Login / Signup

Automated Formal Verification of Routing in Material Handling Systems.

Thomas KlotzJens SchönherrNorman SeßlerBernd StraubeKarsten Turek
Published in: IEEE Trans Autom. Sci. Eng. (2013)
Keyphrases
  • formal verification
  • automated verification
  • material handling
  • model checking
  • expert systems
  • dynamic programming
  • complex systems