Folgen
Alexander Rovner
Alexander Rovner
Bestätigte E-Mail-Adresse bei unibas.ch
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5