Hybridization based CEGAR for Hybrid Automata with Affine Dynamics

Roohi, Nima; Prabhakar, Pavithra; Viswanathan, Mahesh

Permalink

https://hdl.handle.net/2142/88823 Copy

Description

Title

Hybridization based CEGAR for Hybrid Automata with Affine Dynamics

Author(s)

• Roohi, Nima
• Prabhakar, Pavithra
• Viswanathan, Mahesh

Issue Date

2016

Keyword(s)

Model Checking, Hybrid System, CEGAR

Type of Resource

text

Language

en

Permalink

http://hdl.handle.net/2142/88823

Owning Collections