research
∙
09/03/2023
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems
In this paper, we present an approach for designing correct-by-design co...
share
research
∙
07/07/2023
Neural Abstraction-Based Controller Synthesis and Deployment
Abstraction-based techniques are an attractive approach for synthesizing...
research
∙
04/14/2023
Bayesian Approach to Temporal Logic Control of Uncertain Systems
This paper addresses the problem of data-driven computation of controlle...
research
∙
10/15/2022
Correct-by-Design Control of Parametric Stochastic Systems
This paper addresses the problem of computing controllers that are corre...
research
∙
02/15/2022
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness
We consider fixpoint algorithms for two-player games on graphs with ω-re...
research
∙
10/04/2021
Formal Verification of Quantum Programs: Theory, Tools and Challenges
Over the past 27 years, quantum computing has seen a huge rise in intere...
research
∙
03/18/2021
Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs
A vulnerability scan combined with information about a computer network ...
research
∙
01/19/2021
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey
Stochastic hybrid systems have received significant attentions as a rele...
research
∙
01/04/2021
Symbolic Control for Stochastic Systems via Parity Games
We consider the problem of computing the maximal probability of satisfyi...
research
∙
06/09/2020
On Decidability of Time-bounded Reachability in CTMDPs
We consider the time-bounded reachability problem for continuous-time Ma...
research
∙
05/13/2020
Cyclic Bayesian Attack Graphs: A Systematic Computational Approach
Attack graphs are commonly used to analyse the security of medium-sized ...
research
∙
05/08/2020
Data-Driven Verification under Signal Temporal Logic Constraints
We consider systems under uncertainty whose dynamics are partially unkno...
research
∙
05/04/2020
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning
This paper studies data-driven techniques for satisfying temporal proper...
research
∙
03/02/2020
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
A novel reinforcement learning scheme to synthesize policies for continu...
research
∙
01/21/2019
Perception-in-the-Loop Adversarial Examples
We present a scalable, black box, perception-in-the-loop technique to fi...
research
∙
01/10/2019
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
We present a new method for the automated synthesis of digital controlle...
research
∙
12/20/2017