Collaborated with:
G.Avni R.Bloem K.Chatterjee T.A.Henzinger B.Könighofer
Talks about:
quantit (1) control (1) optim (1) learn (1) time (1) game (1) run (1)
Person: Stefan Pranger
DBLP: Pranger:Stefan
Contributed to:
Wrote 1 papers:
- 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.