Dominik Winterer
Dominik Winterer
Bestätigte E-Mail-Adresse bei inf.ethz.ch - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A Novel Iterative Approach to Top-k Planning
M Katz, S Sohrabi, U Octavian, D Winterer
ICAPS '18, 2018
202018
Stubborn Sets for Fully Observable Nondeterministic Planning
D Winterer, R Mattmüller, M Wehrle
ICAPS '17, 2017
62017
Structural Symmetries for Fully Observable Nondeterministic Planning
D Winterer, M Wehrle, M Katz
IJCAI '16, 2016
42016
Oversubscription Planning as Classical Planning with Multiple Cost Functions
M Katz, E Keyder, F Pommerening, D Winterer
ICAPS '19, 2019
32019
Validating SMT Solvers via Semantic Fusion
D Winterer, C Zhang, Z Su
PLDI ’20, 2020
12020
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers
D Winterer, C Zhang, Z Su
CoRR, abs/2004.08799, 2020
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6