ausgewählte Veröffentlichungen

• Artikel

  • Automated Formal Verification of Routing in Material Handling Systems.  IEEE transactions on automation science and engineering, Vol.10(4), pp. 900-915.  2013

• Dokument

  • On the formal verification of routing in material handling systems.  2012 IEEE International Conference on Automation Science and Engineering (CASE), pp. 8-13. 2012