![Model checking / Theoretical computer science / Heuristic function / Mind / Abstraction / Heuristic / Algorithm / Cognition / Innovation / Problem solving / Heuristics / Operations research Model checking / Theoretical computer science / Heuristic function / Mind / Abstraction / Heuristic / Algorithm / Cognition / Innovation / Problem solving / Heuristics / Operations research](https://www.pdfsearch.io/img/a14a97037b9dbcddaaee2db321678619.jpg)
| Document Date: 2013-03-08 08:54:40 Open Document File Size: 591,19 KBShare Result on Facebook
Company McDermott / / IndustryTerm statespace search / admissible search heuristic / large systems / refinement algorithm / blind search / polynomial algorithms / abstract solution / state-space search / shortest solution / abstract solutions / transition systems / / Organization ALBERT-LUDWIGS-UNIVERSITÄT FREIBURG INSTITUT FÜR INFORMATIK Arbeitsgruppe Grundlagen / Mit / Universität Basel / / Person Malte Helmert / Nebel Counterexample-guided / Bernhard Nebel Counterexample-guided / / Position Thesis Jendrik Seipp Advisor / / Technology polynomial algorithms / 9 9 11 3 Abstraction refinement algorithm / proposed algorithm / CEGAR algorithm / /
SocialTag |