Travelled to:1 × United Kingdom
Collaborated with:R.Bloem R.Könighofer C.Wang G.Avni K.Chatterjee T.A.Henzinger S.Pranger
Talks about:synthesi (1) reactiv (1) quantit (1) control (1) system (1) shield (1) runtim (1) enforc (1) optim (1) learn (1)
Person: Bettina Könighofer
DBLP: K=ouml=nighofer:Bettina
Contributed to:
2015
2019Wrote 2 papers:
- TACAS-2015-BloemKKW #runtime #synthesis
- Shield Synthesis: — Runtime Enforcement for Reactive Systems (RB, BK, RK, CW), pp. 533–548.
- CAV-2019-AvniBCHKP #game studies #optimisation #runtime
- Run-Time Optimization for Learned Controllers Through Quantitative Games (GA, RB, KC, TAH, BK, SP), pp. 630–649.