( en | de | ru )

 

Disambiguation of "Becker, Bernd"

Author of the publication

copydeleteadd this publication to your clipboard
Finite-State Controllers of POMDPs using Parameter Synthesis.

, , , , , , and . UAI, page 519-529. AUAI Press, (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. You can also use the button next to the name to display some publications already assigned to the person.

Bernd Becker

Bernd Becker

Bernd Becker

Bernd Becker

Bernd Becker

 

Other publications of authors with the same name

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