Seguir
Alexander Rovner
Alexander Rovner
University of Basel
Dirección de correo verificada de unibas.ch
Título
Citado por
Citado por
Año
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
192019
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
32022
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5