Search results - ORA - Oxford University Research Archive

1 - 10 of 10

1

Journal article

Central limit model checking

Bortolussi, L, Cardelli, L, Kwiatkowska, M, et al.
2018-01-01

2

Conference item

Treewidth-pliability and PTAS for Max-CSPs

Romero, M, Wrochna, M, Zivny, S
2021-01-10

3

Journal article

Union of light ion therapy centers in Europe (ULICE EC FP7) – Objectives and achievements of joint research activities

Pötter, R, Balosso, J, Baumann, M, et al.
2018-07-09

4

Conference item

Combining rewriting and incremental materialisation maintenance for datalog programs with equality

Motik, B, Nenov, Y, Piro, R, et al.
2015-01-01

5

Journal article

Certified policy synthesis for general Markov decision processes: An application in building automation systems

Haesaert, S, Cauchi, N, Abate, A
2017-09-28

6

Journal article

Adversarial robustness guarantees for Gaussian processes

Patane, A, Blaas, A, Laurenti, L, et al.
2022

7

Journal article

Faster exponential-time algorithms for approximately counting independent sets

Goldberg, L, Lapinskas, J, Richerby, D
2021-09-16

8

Conference item

RainBench: Towards global precipitation forecasting from satellite imagery

de Witt, CS, Tong, C, Zantedeschi, V, et al.
2021-05-18

9

Conference item

Higher-order quantified boolean satisfiability

Chistikov, D, Haase, C, Hadizadeh, Z, et al.
2022

10

Conference item

Probabilistic model checking for strategic equilibria-based decision making: Advances and challenges

Kwiatkowska, M, Norman, G, Parker, D, et al.
2022

TO TOP