publication venue for Active discount factor elicitation via reward modification 2026 Quantitative estimation of side-channel leaks with neural networks 2021 A bit too precise? Verification of quantized digital filters 2014 Static analysis for concurrent programs with applications to data race detection 2013
