Searching for "Conformant Planning via Model Checking." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

CONFORMANT PLANNING VIA MODEL CHECKING
by A. Cimatti, M. Roveri — 1999
…. In this work we extend the planning via model checking paradigm by proposing a new algorithm for conformant…
Cited by 44 (4 self) – Add To MetaCart

://www.itc.it CONFORMANT PLANNING VIA MODEL CHECKING Cimatti A., Roveri M.
by August Limited Distribution, Scientifica E Tecnologica, Cimatti A, Roveri M, Istituto Trentino Di Cultura, Alessandro Cimatti, Marco Roveri
…. In this work we extend the planning via model checking paradigm by proposing a new algorithm for conformant…
Add To MetaCart

Showing 1 through 2.

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