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)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)Quantifier Localization for DQBF., , и . CoRR, (2019)A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving., , , и . AAAI, стр. 1584-1591. AAAI Press, (2019)Preprocessing for DQBF., , , , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 173-190. Springer, (2015)Correct-by-construction policies for POMDPs., , , , , , и . SNR, стр. 6-8. ACM, (2019)Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas., , , и . Advanced Logic Synthesis, Springer, (2018)Localizing Quantifiers for DQBF., , и . FMCAD, стр. 184-192. IEEE, (2019)Maybe or Maybe Not: Contributions to Stochastic Verification., и . Aspekte der Technischen Informatik, стр. 119-128. MV-Wissenschaft, (2014)