500 search results - page 19 / 100 » Thread-Modular Abstraction Refinement |
111
click to vote
FORMATS
2010
Springer
14 years 7 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
IANDC
2008
14 years 9 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...
MP
2008
14 years 9 months ago
2008
Abstract By refining a variant of the Klee
CHARME
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
perception of domain concepts. We have run this experiment on the 367 645 English abstracts of PASCAL 2005-2006 bibliographic database (http://www.inist.fr) and compared the struct...