Search results - ORA - Oxford University Research Archive

« Previous | 1 - 10 of 107 | Next »

1

Journal article

Formal control synthesis via simulation relations and behavioral theory for discrete-time descriptor systems

Haesaert, S, Chen, F, Abate, A, et al.
2020-05-04

2

Thesis

Synthesis without syntactic templates

Polgreen, E
2019

3

Journal article

Overcoming ultraviolet light instability of sensitized TiO₂ with meso-superstructured organometal tri-halide perovskite solar cells.

Leijtens, T, Eperon, G, Pathak, S, et al.
2013-01-01

4

Conference item

SMT-based model checking of max-plus linear systems

Mufid, MSU, Micheli, A, Abate, A, et al.
2021-08-13

5

Journal article

Low-temperature processed electron collection layers of graphene/TiO2 nanocomposites in thin film perovskite solar cells.

Wang, T, Ball, J, Barea, E, et al.
2014-02-01

6

Journal article

Ultrasmooth organic-inorganic perovskite thin-film formation and crystallization for efficient planar heterojunction solar cells.

Zhang, W, Saliba, M, Moore, D, et al.
2015-01-30

7

Journal article

Long-term predictive maintenance: A study of optimal cleaning of biomass boilers

Macek, K, Endel, P, Cauchi, N, et al.
2017-05-26

8

Journal article

Quantitative approximation of the probability distribution of a Markov process by formal abstractions

Esmaeil Zadeh Soudjani, S, Abate, A
2015-09-04

9

Conference item

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision

Laurenti, L, Abate, A, Bortolussi, L, et al.
2017-01-01

10

Thesis

Safe model based policy search

Polymenakos, K
2020

« Previous
Next »
1
2
3
4
5
…
10
11

TO TOP