Kein Foto von Bettina Könighofer

Bettina Könighofer

Dipl.-Ing., BSc

20082019
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint Tauchen Sie ein in die Recherchenthemengebiete, in denen Bettina Könighofer aktiv ist. Diese Themengebiet-Etiketten stammen von den Werken dieser Person. Gemeinsam bilden sie einen einzigartigen Fingerabdruck.

  • 1 Ähnliche Profile
Multi agent systems Ingenieurwesen & Materialwissenschaft
Controllers Ingenieurwesen & Materialwissenschaft
Costs Ingenieurwesen & Materialwissenschaft
Warehouses Ingenieurwesen & Materialwissenschaft
Unmanned aerial vehicles (UAV) Ingenieurwesen & Materialwissenschaft
Logistics Ingenieurwesen & Materialwissenschaft
Specifications Ingenieurwesen & Materialwissenschaft
Planning Ingenieurwesen & Materialwissenschaft

Netzwerk Kürzliche externe Kooperation auf Landesebene. Details anzeigen, indem Sie auf die Punkte klicken.

Forschungsoutput 2012 2019

  • 8 Beitrag in einem Konferenzband
  • 2 Artikel

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. (Hrsg.). 31 Aufl. Springer, Band 11561. S. 630-649 ( Lecture Notes in Computer Science; Band 11561).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 1048-1055 8 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, Band 10821. S. 321-353 33 S. (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei

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. S. 2669-2678 10 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Projekte 2008 2019

  • 3 Abgeschlossen

RiSE - Rigorous Systems Engineering

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

1/03/1131/08/19

Projekt: Foschungsprojekt

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

Projekt: Foschungsprojekt

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

Projekt: Arbeitsgebiet