( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext.

, , , , , , и . MBMV, Universität Tübingen, (2018)

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.

Bernd Becker

Bernd Becker

Bernd Becker

Bernd Becker

Bernd Becker

 

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

Technische Informatik - eine Einführung., , и . Pearson Studium Pearson Education, (2005)Beiträge zur Analyse der Digitalisierung aus Innovationsperspektive., и . Discussion Papers, (Dezember 2020)A Genetic Algorithm for the Construction of Small and Highly Testable OKFDD Circuits, , и . Genetic Programming 1996: Proceedings of the First Annual Conference, стр. 473--478. Stanford University, CA, USA, MIT Press, (28--31 July 1996)A Fast Optimal Robust Path Delay Fault Testable Adder., , , и . ED&TC, стр. 491-499. IEEE Computer Society, (1996)Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext., , , , , , и . MBMV, Universität Tübingen, (2018)A Feature and Classifier Study for Appliance Event Classification., , и . SESC, том 425 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 99-116. Springer, (2021)Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor., , , , , и . ATS, стр. 73-78. IEEE, (2021)Automating the Generation of Functional Stress Inducing Stimuli for Burn-In Testing., , , , , и . ETS, стр. 1-5. IEEE, (2023)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , и . UAI, стр. 519-529. AUAI Press, (2018)Security Compliance Analysis of Reconfigurable Scan Networks., , , , , и . ITC, стр. 1-9. IEEE, (2019)