507 search results - page 18 / 102 » Counterexample-Guided Abstraction Refinement |
130
click to vote
DATE
2004
IEEE
15 years 7 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...
132
click to vote
SIBGRAPI
2000
IEEE
15 years 6 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...
125
click to vote
CDC
2010
IEEE
14 years 10 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...
135
click to vote
IANDC
2008
15 years 3 months 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...
