From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks., , , , , и . IJCAI, стр. 5532-5539. ijcai.org, (2019)Preprocessing for DQBF., , , , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 173-190. Springer, (2015)Localizing Quantifiers for DQBF., , и . FMCAD, стр. 184-192. IEEE, (2019)Correct-by-construction policies for POMDPs., , , , , , и . SNR, стр. 6-8. ACM, (2019)Quantifier Localization for DQBF., , и . CoRR, (2019)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , и . UAI, стр. 519-529. AUAI Press, (2018)Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext., , , , , , и . MBMV, Universität Tübingen, (2018)A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving., , , и . AAAI, стр. 1584-1591. AAAI Press, (2019)From DQBF to QBF by Dependency Elimination., , , , и . MBMV, Universität Tübingen, (2018)Minimally Invasive HW/SW Co-debug Live Visualization on Architecture Level., , , и . ACM Great Lakes Symposium on VLSI, стр. 321-326. ACM, (2021)