HyCreate

MaRDI QIDQ31960swMATHFDO

Official website http://stanleybak.com/projects/hycreate/hycreate.html

Cited in

(4)

• Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles
• HYST: a source transformation and translation tool for hybrid automaton models
• HyDI
• Charon

This page was built for software: HyCreate