Search Results - Könighofer, Bettina

Refine Results
  1. 1
    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:
  2. 2
    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:
  3. 3
    Synthesizing robust systems

    Synthesizing robust systems by Bloem, Roderick, Chatterjee, Krishnendu, Greimel, Karin, Henzinger, Thomas A., Hofferek, Georg, Jobstmann, Barbara, Könighofer, Bettina, Könighofer, Robert

    Published in Acta informatica
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Safe Reinforcement Learning via Shielding

    Safe Reinforcement Learning via Shielding by Alshiekh, Mohammed, Bloem, Roderick, Ehlers, Rüdiger, Könighofer, Bettina, Niekum, Scott, Topcu, Ufuk

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Synthesis of Minimum-Cost Shields for Multi-agent Systems

    Synthesis of Minimum-Cost Shields for Multi-agent Systems by Bharadwaj, Suda, Bloem, Roderik, Dimitrova, Rayna, Konighofer, Bettina, Topcu, Ufuk

    Request full text
    Article
    Save to List
    Saved in:
  6. 6
    Shield synthesis

    Shield synthesis by Könighofer, Bettina, Alshiekh, Mohammed, Bloem, Roderick, Humphrey, Laura, Könighofer, Robert, Topcu, Ufuk, Wang, Chao

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Synthesizing Robust Systems with RATSY

    Synthesizing Robust Systems with RATSY by Bloem, Roderick, Gamauf, Hans-Jürgen, Hofferek, Georg, Könighofer, Bettina, Könighofer, Robert

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Safety Shielding under Delayed Observation

    Safety Shielding under Delayed Observation by Filip Cano Córdoba, Palmisano, Alexander, Fränzle, Martin, Bloem, Roderick, Könighofer, Bettina

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    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:
  10. 10
    Synthesis of Admissible Shields

    Synthesis of Admissible Shields by Humphrey, Laura, Könighofer, Bettina, Könighofer, Robert, Topcu, Ufuk

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    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:
  12. 12
    Fairness Shields: Safeguarding against Biased Decision Makers

    Fairness Shields: Safeguarding against Biased Decision Makers by Cano, Filip, Henzinger, Thomas A, Könighofer, Bettina, Kueffner, Konstantin, Mallik, Kaushik

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    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:
  14. 14
    Correct-by-Construction Runtime Enforcement in AI -- A Survey

    Correct-by-Construction Runtime Enforcement in AI -- A Survey by Könighofer, Bettina, Bloem, Roderick, Ehlers, Rüdiger, Pek, Christian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    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:
  16. 16
    'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions

    'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions by Judson, Samuel, Elacqua, Matthew, Cano, Filip, Antonopoulos, Timos, Könighofer, Bettina, Shapiro, Scott J, Piskac, Ruzica

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

    TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments by Pranger, Stefan, Könighofer, Bettina, Posch, Lukas, Bloem, Roderick

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    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:
  19. 19
    Online Shielding for Stochastic Systems

    Online Shielding for Stochastic Systems 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:
  20. 20
    Analyzing Intentional Behavior in Autonomous Agents under Uncertainty

    Analyzing Intentional Behavior in Autonomous Agents under Uncertainty by Filip Cano Córdoba, Judson, Samuel, Antonopoulos, Timos, Bjørner, Katrine, Shoemaker, Nicholas, Shapiro, Scott J, Piskac, Ruzica, Könighofer, Bettina

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

Search Tools: