Dominik Winterer
Title
Cited by
Cited by
Year
A Novel Iterative Approach to Top-k Planning
M Katz, S Sohrabi, U Octavian, D Winterer
ICAPS 2018, 2018
342018
Validating SMT Solvers via Semantic Fusion
D Winterer, C Zhang, Z Su
PLDI 2020, 2020
92020
Stubborn Sets for Fully Observable Nondeterministic Planning
D Winterer, R Mattmüller, M Wehrle
ICAPS 2017, 2017
62017
Oversubscription Planning as Classical Planning with Multiple Cost Functions
M Katz, E Keyder, F Pommerening, D Winterer
ICAPS 2019, 2019
52019
Structural Symmetries for Fully Observable Nondeterministic Planning
D Winterer, M Wehrle, M Katz
IJCAI 2016, 2016
42016
On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers
D Winterer, C Zhang, Z Su
SPLASH/OOPSLA 2020, 2020
3*2020
The system can't perform the operation now. Try again later.
Articles 1–6