( en | de | ru )

 

Disambiguation of "Aichernig, Bernhard K."

Author of the publication

copydeleteadd this publication to your clipboard
L*-based learning of Markov decision processes (extended version).

, , , , and . Formal Aspects Comput., 33 (4-5): 575-615 (2021)

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.

Aman K K Bhasin

K Schweizerhof

K Schaber

K Bier

K Amann

 

Other publications of authors with the same name

Combining Algebraic and Model-Based Test Case Generation., and . ICTAC, volume 3407 of Lecture Notes in Computer Science, page 250-264. Springer, (2004)Require, test, and trace IT., , , , and . Int. J. Softw. Tools Technol. Transf., 19 (4): 409-426 (2017)UML in action: a two-layered interpretation for testing., , , and . ACM SIGSOFT Softw. Eng. Notes, 36 (1): 1-8 (2011)Step-Wise Development of Provably Correct Actor Systems., and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 426-448. Springer, (2020)Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)., , , , , , , , and . CoRR, (2019)Programming Behavioral Test Models for SMT Solving in Scala., , and . ICST Workshops, page 52-60. IEEE, (2019)Property-Based Testing with External Test-Case Generators., , and . ICST Workshops, page 337-346. IEEE Computer Society, (2017)Probabilistic Black-Box Reachability Checking., and . RV, volume 10548 of Lecture Notes in Computer Science, page 50-67. Springer, (2017)Model-Based Testing IoT Communication via Active Automata Learning., , and . ICST, page 276-287. IEEE Computer Society, (2017)Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas., , and . J. Univers. Comput. Sci., 7 (8): 629-630 (2001)