Abstraction databases in theory and model checking practice (2004)
by
Stefan Edelkamp
,
Fachbereich Informatik
| Venue: | In ICAPS Workshop on Connecting Planning Theory with Practice |
| Citations: | 3 - 2 self |







