| Document Date: 2013-06-05 11:45:20
Open Document File Size: 141,87 KBShare Result on Facebook
Company AAAI Press / / Country Switzerland / / / IndustryTerm admissible search heuristic / transition systems / abstract solution / additive abstraction algorithm / computing / / Organization Artificial Copyright Intelligence / Computational Intelligence / Association for the Advancement / Swiss National Science Foundation / / Position planner / / Technology artificial intelligence / additive abstraction algorithm / Additive Abstractions Algorithm Our algorithm / / URL www.aaai.org / /
SocialTag |
Additive Counterexample-guided Cartesian Abstraction Refinement Jendrik Seipp and Malte Helmert Universit¨at Basel Basel, Switzerland {jendrik.seipp,malte.helmert}@unibas.ch