Files in this item

FilesDescriptionFormat

application/pdf

application/pdfmain.pdf (660kB)
(no description provided)PDF

Description

Title:Hybridization based CEGAR for Hybrid Automata with Affine Dynamics
Author(s):Roohi, Nima; Prabhakar, Pavithra; Viswanathan, Mahesh
Subject(s):Model Checking, Hybrid System, CEGAR
Issue Date:2016
Type:Text
Language:English
URI:http://hdl.handle.net/2142/88823
Date Available in IDEALS:2016-01-08


This item appears in the following Collection(s)

Item Statistics