5205 search results - page 51 / 1041 » Tilings and model theory |
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
CBMS
2007
IEEE
14 years 3 months ago
2007
IEEE
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
ICALP
2007
Springer
14 years 3 months ago
2007
Springer
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...