next up previous
Next: From Global to Modular Up: Research Projects A: Formal Previous: A Unified Game Theoretic

Verification Tools for Multi-modal Control Software

We plan to extend the efficiency and scope of applicability of HYTECH in the following four directions.gif



S Sastry
Sun Aug 9 11:27:47 PDT 1998