Follow
Alexander Rovner
Alexander Rovner
University of Basel
Verified email at unibas.ch
Title
Cited by
Cited by
Year
Counterexample-guided abstraction refinement for pattern selection in optimal classical planning
A Rovner, S Sievers, M Helmert
Proceedings of the International Conference on Automated Planning and …, 2019
232019
On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond
M Helmert, S Sievers, A Rovner, AB Corrêa
Proceedings of the International Conference on Automated Planning and …, 2022
42022
Potential Heuristics for Satisficing Planning
A Rovner
Master’s thesis, University of Basel, 2020
22020
Counterexampleguided abstraction refinement for pattern selection in optimal classical planning: Additional material
A Rovner, S Sievers, M Helmert
Technical Report CS-2019-002, University of Basel, Department of Mathematics …, 2019
22019
Pattern Selection using Counterexample-guided Abstraction Refinement
A Rovner
2018
The system can't perform the operation now. Try again later.
Articles 1–5