Search Results for author:
Found 5 papers, 2 papers with code
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions
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.
Automatic inference of fault tree models via multi-objective evolutionary algorithms
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.
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
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.
Correct-by-construction reach-avoid control of partially observable linear stochastic systems
By construction, any policy on the abstraction can be refined into a piecewise linear feedback controller for the LTI system.
Modeling and Verification of the Bitcoin Protocol
Bitcoin keeps a ledger of all transactions; the majority of the participants decides on the correct ledger.
Logic in Computer Science Cryptography and Security
