MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Proving Goal Achievability." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
by Mark D. Aagaard, Robert B. Jones, Carl-johan H. Seger — 1999
… checking. The goal is to build veri cation systems that provide both the power of theorem proving to reason…
Cited by 32 (2 self) – Add To MetaCart

www.elsevier.com/locate/robot A methodology for provably stable behaviour-based intelligent control
by Christopher J. Harper, Alan F. T. Winfield — 2005
…-)control technologies, often using formal techniques to prove the goal-achieving properties of systems. Particular…
Add To MetaCart

Constraints of Behavioural Inheritance
by E. E. Roubtsova, S. A. Roubtsov, Den Dolech, P. O. Box — 2004 — LNCS 3047, Editors: Flavio Oquendo, Brian Warboys
… of inheritance and how to prove that this goal is achieved. 3 A Logic of Behavioural Inheritance 3…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB