Specifications for Decidable Hybrid Automata and Games
type: CreativeWork
description: Examples are provided to give justification of the subclass constraints and better understanding of the implications of the proven results.
abstract: Examples are provided to give justification of the subclass constraints and better understanding of the implications of the proven results.
author: Vladimerou, Vladimeros
language: eng
keywords: Engineering, Electronics and Electrical
date published: 2009
date modified: 2026-07-22T22:26:15Z
provider: University of Illinois - Urbana-Champaign
publisher: Networked Digital Library of Theses and Dissertations
type: WebPage
source organization: University of Illinois at Urbana-Champaign

PropertyValue
property ID: Handle
value: http://hdl.handle.net/2142/81134