Jendrik Seipp, Malte Helmert
Counterexample-Guided Cartesian Abstraction Refinement (short talk)
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPSJendrik Seipp, Malte Helmert
Counterexample-Guided Cartesian Abstraction Refinement (short talk)