1 code implementation • 4 Jan 2023 • Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga, Nils Jansen
This iMDP is, with a user-specified confidence probability, robust against uncertainty in the transition probabilities, and the tightness of the probability intervals can be controlled through the number of samples.
no code implementations • 6 Apr 2022 • Lisandro A. Jimenez-Roa, Tom Heskes, Tiedo Tinga, Marielle Stoelinga
Fault tree analysis is a well-known technique in reliability engineering and risk assessment, which supports decision-making processes and the management of complex systems.
no code implementations • 25 Oct 2021 • Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Marielle Stoelinga
We use state-of-the-art verification techniques to provide guarantees on the iMDP, and compute a controller for which these guarantees carry over to the autonomous system.
1 code implementation • 3 Mar 2021 • Thom Badings, Hasan A. Poonawala, Marielle Stoelinga, Nils Jansen
By construction, any policy on the abstraction can be refined into a piecewise linear feedback controller for the LTI system.
no code implementations • 13 Nov 2015 • Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Marielle Stoelinga
Bitcoin keeps a ledger of all transactions; the majority of the participants decides on the correct ledger.
Logic in Computer Science Cryptography and Security