Segui
Alexander Rovner
Alexander Rovner
University of Basel
Email verificata su unibas.ch
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–5