Sciweavers

10890 search results - page 75 / 2178
» Automatic Complexity Analysis
Sort
View
158
Voted
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
15 years 10 months ago
Verification of K-step opacity and analysis of its complexity
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
Anooshiravan Saboori, Christoforos N. Hadjicostis
145
Voted
AAAI
2008
15 years 9 months ago
An Analysis of Transformational Analogy: General Framework and Complexity
Vithal Kuchibatla, Héctor Muñoz-Avil...