| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 6 |       | Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar: Bounded epsilon-Reach Set Computation of a Class of Deterministic and Transversal Linear Hybrid Automata CoRR abs/1205.3426: (2012) |
| 3 | | Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar: Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata. HSCC 2011: 113-122 |
| 2 | | Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar: Bounded ∈-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition. CDC 2010: 6177-6182 |
Selection of 3 from 6 records - Kyoung-Dae Kim has 2 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page