No photo of Bettina Könighofer

Bettina Könighofer

Dipl.-Ing., BSc

20082019
If you made any changes in Pure these will be visible here soon.

Research Output 2012 2018

  • 6 Conference contribution
  • 2 Article
Filter
Article
2018

Shielded Decision-Making in MDPs

Jansen, N., Könighofer, B., Junges, S. & Bloem, R., 2018, In : arXiv.org e-Print archive. CoRR, abs/1807.06096.

Research output: Contribution to journalArticleResearchpeer-review

2014

Synthesizing Robust Systems

Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T., Hofferek, G., Jobstmann, B., Könighofer, B. & Könighofer, R., 2014, In : Acta informatica. 51, 3, p. 193-220

Research output: Contribution to journalArticleResearchpeer-review