Bettina Könighofer

According to our database1, Bettina Könighofer
  • authored at least 9 papers between 2012 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Safe Reinforcement Learning via Shielding.
CoRR, 2017

2016
Synthesis of Admissible Shields.
Proceedings of the Hardware and Software: Verification and Testing, 2016

2015
Shield Synthesis: Runtime Enforcement for Reactive Systems.
CoRR, 2015

Shield Synthesis: - Runtime Enforcement for Reactive Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014
Synthesizing robust systems.
Acta Inf., 2014

Synthesis of synchronization using uninterpreted functions.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof.
CoRR, 2013

Synthesizing multiple boolean functions using interpolation on a single proof.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012
Synthesizing Robust Systems with RATSY
Proceedings of the Proceedings First Workshop on Synthesis, 2012


  Loading...