Back to Results
First PageMeta Content
Mathematics / Algorithms / Knowledge representation / Medical algorithm


CEGAR algorithm Evaluation Counterexample-guided Cartesian Abstraction Refinement Jendrik Seipp, Malte Helmert
Add to Reading List

Document Date: 2013-07-29 11:53:24

Open Document

File Size: 261,54 KB

Share Result on Facebook

Country

Switzerland / /

Facility

Malte Helmert University of Basel / /

Organization

Malte Helmert University of Basel / /

Technology

3 Ongoing research Evaluation Ongoing research CEGAR algorithm CEGAR algorithm / load-in-A unload-in-B unload-in-A load-in-B CEGAR algorithm / Ongoing research CEGAR algorithm / CEGAR algorithm CEGAR algorithm Evaluation Ongoing research CEGAR algorithm / 1 CEGAR algorithm / 2013 Ongoing research CEGAR algorithm / unload-in-B load-in-B CEGAR algorithm / CEGAR algorithm / /

SocialTag