research

Hybridization based CEGAR for Hybrid Automata with Affine Dynamics

Authors
Publication date
1 January 2016
Publisher
Doi

    Abstract

    Ope

      Similar works

      Full text

      thumbnail-image

      Available Versions

      IDEALS @ Illinois

      redirect
      oaioai:www.ideals.illinois.edu:21...
      Last time updated on 05/04/2020

      Illinois Digital Environment for Access to Learning and Scholarship Repository

      redirect
      oaioai:www.ideals.illinois.edu:21...
      Last time updated on 11/06/2018