팔로우
Alexander Rovner
Alexander Rovner
University of Basel
unibas.ch의 이메일 확인됨
제목
인용
인용
연도
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–5