Specifications for Decidable Hybrid Automata and Games
Examples are provided to give justification of the subclass constraints and better understanding of the implications of the proven results.
University of Illinois - Urbana-Champaign
Networked Digital Library of Theses and Dissertations
University of Illinois at Urbana-Champaign