HAL
Menu
Hybrid Agent-based Library
HAL
Hybrid Automata Library
Free and Open Source
Download
Getting Started
JavaDoc
Help