Tom van Dijk Copyright by Tom van Dijk

Tom van Dijk

PhD, MSc

Calculated based on number of publications stored in Pure and citations from Scopus
20122023

Research activity per year

Filter
Preprint

Search results

  • 2023

    The Worst-Case Complexity of Symmetric Strategy Improvement

    Dijk, T. V., Loho, G. & Maat, M., 5 Sept 2023.

    Research output: Working paperPreprintAcademic

    Open Access
    File
    53 Downloads (Pure)
  • 2022

    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 othersSickert, S., Staquet, G., Tamines, C., Tentrup, L. & Walker, A., 1 Jun 2022.

    Research output: Working paperPreprintAcademic

    Open Access
    File
    31 Downloads (Pure)
  • 2018

    Revisiting Decision Diagrams for SAT

    Dijk, T. V., Ehlers, R. & Biere, A., 9 May 2018.

    Research output: Working paperPreprintAcademic

    Open Access
    File
    5 Downloads (Pure)