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.

Fingerprint Dive into the research topics where Bettina Könighofer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Multi agent systems Engineering & Materials Science
Controllers Engineering & Materials Science
Costs Engineering & Materials Science
Warehouses Engineering & Materials Science
Unmanned aerial vehicles (UAV) Engineering & Materials Science
Logistics Engineering & Materials Science
Specifications Engineering & Materials Science
Planning Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2012 2019

  • 8 Conference contribution
  • 2 Article

Run-Time Optimization for Learned Controllers Through Quantitative Games

Avni, G., Bloem, R., Chatterjee, K., Henzinger, T., Könighofer, B. & Pranger, S., 15 Jul 2019, Computer Aided Verification (CAV). Dillig, I. & Tasiran, S. (eds.). 31 ed. Springer, Vol. 11561. p. 630-649 ( Lecture Notes in Computer Science; vol. 11561).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
Controllers
Emergency vehicles
Stochastic models
Telecommunication traffic
Learning systems

Synthesis of Minimum-Cost Shields for Multi-agent Systems

Bharadwaj, S., Bloem, R., Dimitrova, R., Könighofer, B. & Topcu, U., 10 Jul 2019, 2019 American Control Conference (ACC). ACM/IEEE, p. 1048-1055 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Multi agent systems
Costs
Warehouses
Unmanned aerial vehicles (UAV)
Logistics

Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S. & Winter, J., 2018, EUROCRYPT . Springer, Vol. 10821. p. 321-353 33 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Safe Reinforcement Learning via Shielding

Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S. & Topcu, U., 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018. p. 2669-2678 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Projects 2008 2019

RiSE - Rigorous Systems Engineering

Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.

1/03/1131/08/19

Project: Research project

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.

1/01/1031/12/12

Project: Research project

Formal Methods for Design & Verification

Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.

1/02/0815/07/19

Project: Research area