Research output per year
Research output per year
Search results
-
2023
The Worst-Case Complexity of Symmetric Strategy Improvement
Dijk, T. V., Loho, G. & Maat, M., 5 Sept 2023.Research output: Working paper › Preprint › Academic
Open AccessFile13 Downloads (Pure) -
2022
Robust Optimization for Local Differential Privacy
Goseling, J. & Lopuhaä-Zwakenberg, M., 10 May 2022, ArXiv.org.Research output: Working paper › Preprint › Academic
File21 Downloads (Pure) -
Sampling-Based Verification of CTMCs with Uncertain Rates
Badings, T. S., Jansen, N., Junges, S., Stoelinga, M. I. A. & Volk, M., 21 Jun 2022, ArXiv.org.Research output: Working paper › Preprint › Academic
File17 Downloads (Pure) -
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Jacobs, S., Perez, G. A., Abraham, R., Bruyere, V., Cadilhac, M., Colange, M., Delfosse, C., Dijk, T. V., Duret-Lutz, A., Faymonville, P., Finkbeiner, B., Khalimov, A., Klein, F., Luttenberger, M., Meyer, K., Michaud, T., Pommellet, A., Renkin, F., Schlehuber-Caissier, P., Sakr, M., & 5 others, 1 Jun 2022.Research output: Working paper › Preprint › Academic
Open AccessFile9 Downloads (Pure) -
2021
The Privacy-Utility Tradeoff of Robust Local Differential Privacy
Lopuhaä-Zwakenberg, M. & Goseling, J., 22 Jan 2021, ArXiv.org.Research output: Working paper › Preprint › Academic
File18 Downloads (Pure)