CUFinder

Bettina Könighofer

About Bettina Könighofer

Bettina Könighofer, With an exceptional h-index of 15 and a recent h-index of 12 (since 2020), a distinguished researcher at Technische Universität Graz, specializes in the field of Formal Methods, Reinforcement Learning, Shielding, Runtime Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

'Put the Car on the Stand' SMT-based Oracles for Investigating Decisions

Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data

Accountable Software Systems (Dagstuhl Seminar 23411)

Tools at the frontiers of quantitative verification: QComp 2023 competition report

Analyzing intentional behavior in autonomous agents under uncertainty

Safety Shielding under Delayed Observation

Learning Environment Models with Continuous Stochastic Dynamics

Provable correct and adaptive simplex architecture for bounded-liveness properties

Bettina Könighofer Information

University

Position

Postdoc Austria

Citations(all)

1504

Citations(since 2020)

1322

Cited By

613

hIndex(all)

15

hIndex(since 2020)

12

i10Index(all)

18

i10Index(since 2020)

16

Email

University Profile Page

Google Scholar

Bettina Könighofer Skills & Research Interests

Formal Methods

Reinforcement Learning

Shielding

Runtime Verification

Top articles of Bettina Könighofer

'Put the Car on the Stand' SMT-based Oracles for Investigating Decisions

2024/3/12

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data

2024/2/6

Martin Tappler
Martin Tappler

H-Index: 8

Andrea Pferscher
Andrea Pferscher

H-Index: 2

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Accountable Software Systems (Dagstuhl Seminar 23411)

2024

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Michael Veale
Michael Veale

H-Index: 14

Tools at the frontiers of quantitative verification: QComp 2023 competition report

2024

Z Zhang
Z Zhang

H-Index: 37

Analyzing intentional behavior in autonomous agents under uncertainty

arXiv preprint arXiv:2307.01532

2023/7/4

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Safety Shielding under Delayed Observation

arXiv e-prints

2023/7

Martin Fränzle
Martin Fränzle

H-Index: 19

Roderick Bloem
Roderick Bloem

H-Index: 27

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Learning Environment Models with Continuous Stochastic Dynamics

arXiv preprint arXiv:2306.17204

2023/6/29

Martin Tappler
Martin Tappler

H-Index: 8

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Provable correct and adaptive simplex architecture for bounded-liveness properties

2023/4/26

Benedikt Maderbacher
Benedikt Maderbacher

H-Index: 1

Stefan Schupp
Stefan Schupp

H-Index: 9

Ezio Bartocci
Ezio Bartocci

H-Index: 28

Roderick Bloem
Roderick Bloem

H-Index: 27

Bettina Könighofer
Bettina Könighofer

H-Index: 9

The IJCAI-23 joint workshop on artificial intelligence safety and safe reinforcement learning (AISafety-SafeRL2023)

2023

José Hernández-Orallo
José Hernández-Orallo

H-Index: 25

Xiaowei Huang
Xiaowei Huang

H-Index: 15

Andreas Theodorou
Andreas Theodorou

H-Index: 10

Anqi Liu
Anqi Liu

H-Index: 2

Check for Welcome Remarks from AISOLA 2023/Track C2 Chairs Nils Jansen¹), Bettina Könighofer², Jan Křetínský³, and Kim Larsen¹

Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings

2023/12/13

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Online shielding for reinforcement learning

Innovations in Systems and Software Engineering

2023/12

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Martin Tappler
Martin Tappler

H-Index: 8

Roderick Bloem
Roderick Bloem

H-Index: 27

Formal Methods for Trused AI

2023/10/24

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Continuous engineering for trustworthy learning-enabled autonomous systems

2023/10/23

Panagiotis Katsaros
Panagiotis Katsaros

H-Index: 13

Tewodros A Beyene
Tewodros A Beyene

H-Index: 4

Hasan Esen
Hasan Esen

H-Index: 0

Xiaowei Huang
Xiaowei Huang

H-Index: 15

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Welcome Remarks from AISoLA 2023/Track C2 Chairs

2023/10/23

Nils Jansen
Nils Jansen

H-Index: 24

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Formal XAI via syntax-guided synthesis

2023/10/23

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Correct-by-Construction Runtime Enforcement in AI–A Survey

2022/12/29

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Roderick Bloem
Roderick Bloem

H-Index: 27

Christian Pek
Christian Pek

H-Index: 9

Search-based testing of reinforcement learning

arXiv preprint arXiv:2205.04887

2022/5/7

Martin Tappler
Martin Tappler

H-Index: 8

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Adaptive shielding under uncertainty

2021/5/25

Stefan Pranger
Stefan Pranger

H-Index: 2

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Martin Tappler
Martin Tappler

H-Index: 8

Nils Jansen
Nils Jansen

H-Index: 24

Roderick Bloem
Roderick Bloem

H-Index: 27

Online shielding for stochastic systems

2021/5/19

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Martin Tappler
Martin Tappler

H-Index: 8

Roderick Bloem
Roderick Bloem

H-Index: 27

Logic and computability

University Lecture, Mar

2021/3

Bettina Könighofer
Bettina Könighofer

H-Index: 9

See List of Professors in Bettina Könighofer University(Technische Universität Graz)