Search Results - Tappler, Martin

Refine Results
  1. 1
    Efficient Active Automata Learning via Mutation Testing

    Efficient Active Automata Learning via Mutation Testing by Aichernig, Bernhard K., Tappler, Martin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Online shielding for reinforcement learning

    Online shielding for reinforcement learning by Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    AALpy: an active automata learning library

    AALpy: an active automata learning library by Muškardin, Edi, Aichernig, Bernhard K., Pill, Ingo, Pferscher, Andrea, Tappler, Martin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    L∗-based learning of Markov decision processes (extended version)

    L∗-based learning of Markov decision processes (extended version) by Tappler, Martin, Aichernig, Bernhard K., Bacci, Giovanni, Eichlseder, Maria, Larsen, Kim G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning

    Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning by Aichernig, Bernhard K., Tappler, Martin, Wallner, Felix

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Probabilistic black-box reachability checking (extended version)

    Probabilistic black-box reachability checking (extended version) by Aichernig, Bernhard K., Tappler, Martin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Learning minimal automata with recurrent neural networks

    Learning minimal automata with recurrent neural networks by Aichernig, Bernhard K., König, Sandra, Mateis, Cristinel, Pferscher, Andrea, Tappler, Martin

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Active model learning of stochastic reactive systems (extended version)

    Active model learning of stochastic reactive systems (extended version) by Muškardin, Edi, Tappler, Martin, Aichernig, Bernhard K., Pill, Ingo

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

    Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing by Aichernig, Bernhard K., Tappler, Martin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data

    Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data by Tappler, Martin, Pferscher, Andrea, Aichernig, Bernhard K., Konighofer, Bettina

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation

    Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation by Aichernig, Bernhard K., Jöbstl, Elisabeth, Tappler, Martin

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    Adaptive Shielding under Uncertainty

    Adaptive Shielding under Uncertainty by Pranger, Stefan, Konighofer, Bettina, Tappler, Martin, Deixelberger, Martin, Jansen, Nils, Bloem, Roderick

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Model-Based Testing IoT Communication via Active Automata Learning

    Model-Based Testing IoT Communication via Active Automata Learning by Tappler, Martin, Aichernig, Bernhard K, Bloem, Roderick

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning

    Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning by Pranger, Stefan, Chockler, Hana, Tappler, Martin, Könighofer, Bettina

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Learning Environment Models with Continuous Stochastic Dynamics

    Learning Environment Models with Continuous Stochastic Dynamics by Tappler, Martin, Muškardin, Edi, Aichernig, Bernhard K, Könighofer, Bettina

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Online Shielding for Reinforcement Learning

    Online Shielding for Reinforcement Learning by Könighofer, Bettina, Julian, Rudolf, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Reinforcement Learning under Partial Observability Guided by Learned Environment Models

    Reinforcement Learning under Partial Observability Guided by Learned Environment Models by Muskardin, Edi, Tappler, Martin, Aichernig, Bernhard K, Pill, Ingo

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Search-Based Testing of Reinforcement Learning

    Search-Based Testing of Reinforcement Learning by Tappler, Martin, Filip Cano Córdoba, Aichernig, Bernhard K, Könighofer, Bettina

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth

    On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth by Muškardin, Edi, Tappler, Martin, Pill, Ingo, Aichernig, Bernhard K, Pock, Thomas

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Automata Learning meets Shielding

    Automata Learning meets Shielding by Tappler, Martin, Pranger, Stefan, Könighofer, Bettina, Muškardin, Edi, Bloem, Roderick, Larsen, Kim

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: