- document
-
Ma, H. (author), Blom, H.A.P. (author)For diffusions, a well-developed approach in rare event estimation is to introduce a suitable factorization of the reach probability and then to estimate these factors through simulation of an Interacting Particle System (IPS). This paper studies IPS based reach probability estimation for General Stochastic Hybrid Systems (GSHS). The...journal article 2023
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Delicaris, Joanna (author), Haesaert, Sofie (author), Hartmanns, Arnd (author), van Huijgevoort, Birgit (author), Lavaei, Abolfazl (author), Ma, H. (author), Niehage, Mathis (author), Remke, Anne (author)This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks and their properties within this category and recommends next steps for this category towards next year’s edition of the competition. In comparison with tools on non-probabilistic models,...conference paper 2022
- document
-
Ma, H. (author), Blom, H.A.P. (author)This paper focuses on estimating reach probability of a closed unsafe set by a stochastic process. A well-developed approach is to make use of multi-level MC simulation, which consists of encapsulating the unsafe set by a sequence of increasing closed sets and conducting a sequence of MC simulations to estimate the reach probability of each...journal article 2022
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Bouissou, Marc (author), Cauchi, Nathalie (author), Chraibi, Hassane (author), Delicaris, Joanna (author), Haesaert, Sofie (author), Hartmanns, Arnd (author), Ma, H. (author)This report presents the results of a friendly competition for formal verification and<br/>policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year's edition of the competition. The friendly competition took place as part of the workshop Applied...conference paper 2021
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Cauchi, Nathalie (author), Degiorgio, Kurt (author), Franzle, Martin (author), Hahn, Ernst Moritz (author), Haesaert, Sofie (author), Ma, H. (author), Oishi, Meeko (author)This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year’s edition of the competition. The friendly competition took place as part of the workshop Applied...conference paper 2019
- document
-
Blom, H.A.P. (author), Ma, H. (author), Bakker, G. J.(Bert) (author)This paper studies estimation of reach probability for a generalized stochastic hybrid system (GSHS). For diffusion processes a well-developed approach in reach probability estimation is to introduce a suitable factorization of the reach probability and then to estimate these factors through simulation of an Interacting Particle System (IPS)....journal article 2018