Showing 1 - 20 results of 45 for search 'Haesaert, S', query time: 0.07s
Refine Results
-
1
Verification of general Markov decision processes by approximate similarity relations and policy refinement by Haesaert, S, Soudjani, SE, Abate, A
Published 2017Journal article -
2
Certified policy synthesis for general Markov decision processes: An application in building automation systems by Haesaert, S, Cauchi, N, Abate, A
Published 2017Journal article -
3
-
4
Formal control synthesis via simulation relations and behavioral theory for discrete-time descriptor systems by Haesaert, S, Chen, F, Abate, A, Weiland, S
Published 2020Journal article -
5
Exploiting Rye in Wheat Quality Breeding: The Case of Arabinoxylan Content by Maria Chiara Piro, Hilde Muylle, Geert Haesaert
Published 2023-02-01
Article -
6
-
7
Experiment design for formal verification via stochastic optimal control by Abate, A, Haesaert, S, Van den Hof, P
Published 2017Conference item -
8
Data-efficient Bayesian verification of parametric Markov chains by Polgreen, E, Wijesuriya, V, Haesaert, S, Abate, A
Published 2016Conference item -
9
Data-driven and model-based verification via Bayesian identification and reachability analysis by Haesaert, S, Van den Hof, P, Abate, A
Published 2017Journal article -
10
-
11
Deoxynivalenol: A Major Player in the Multifaceted Response of Fusarium to Its Environment by Kris Audenaert, Adriaan Vanheule, Monica Höfte, Geert Haesaert
Published 2013-12-01
Article -
12
-
13
-
14
-
15
-
16
Cereal–Legume Intercropping: Which Partners Are Preferred in Northwestern Europe? by Sofie Landschoot, Valérie Claeys, Eva Wambacq, Kevin Dewitte, Geert Haesaert, Joos Latré
Published 2024-07-01
Article -
17
-
18
-
19
Development of an UPLC-MS/MS Method for the Analysis of Mycotoxins in Rumen Fluid with and without Maize Silage Emphasizes the Importance of Using Matrix-Matched Calibration by Sandra Debevere, Siegrid De Baere, Geert Haesaert, Michael Rychlik, Veerle Fievez, Siska Croubels
Published 2019-09-01
Article -
20