129 citations · 368 across the 70 of their papers we have counts for
6 papers · 1 filter
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani +1
In this paper, we propose a data-driven approach to formally verify the safety of (potentially) unknown discrete-time continuous-space stochastic systems. The proposed framework is…
Data-driven verification and synthesis of stochastic systems via barrier certificates
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani +1
In this work, we study verification and synthesis problems for safety specifications over unknown discrete-time stochastic systems. When a model of the system is available, barrier…
Formal Verification of Quantum Programs: Theory, Tools and Challenges
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Over the past 27 years, quantum computing has seen a huge rise in interest from both academia and industry. At the current rate, quantum computers are growing in size rapidly backe…
Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs
Isaac Matthews, Sadegh Soudjani, Aad van Moorsel
A vulnerability scan combined with information about a computer network can be used to create an attack graph, a model of how the elements of a network could be used in an attack t…
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate +1
Stochastic hybrid systems have received significant attentions as a relevant modelling framework describing many systems, from engineering to the life sciences: they enable the stu…
Symbolic Control for Stochastic Systems via Finite Parity Games
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck +1
We consider the problem of computing the maximal probability of satisfying an omega-regular specification for stochastic nonlinear systems evolving in discrete time. The problem re…