507 search results - page 18 / 102 » Counterexample-Guided Abstraction Refinement |
107
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
106
Voted
SIBGRAPI
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract. In this paper we introduce a new mesh refinement method for subdivision surfaces. It generates a semiregular 4-direction hierarchical structure from control meshes repres...
102
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...
114
click to vote
IANDC
2008
15 years 20 days ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
91
Voted
MP
2008
15 years 17 days ago
2008
Abstract By refining a variant of the Klee