Search results - ORA - Oxford University Research Archive

1 - 4 of 4

1

Journal article

Algorithmic minimization of uncertain continuous-time Markov chains

Cardelli, L, Grosu, R, Larsen, KG, et al.
2023-02-10

2

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

3

Journal article

PID control of biochemical reaction networks

Whitby, M, Cardelli, L, Kwiatkowska, M, et al.
2021-02-26

4

Journal article

Formal and efficient synthesis for continuous-time linear stochastic hybrid processes

Laurenti, L, Lahijanian, M, Abate, A, et al.
2020-02-19

TO TOP