Sadegh Soudjani | DeepAI

DeepAI AI Chat

Featured Co-authors

Alessandro Abate
52 publications
Ezio Bartocci
43 publications
Rupak Majumdar
36 publications
Ashutosh Trivedi
26 publications
Shan Lin
22 publications
Scott A. Smolka
20 publications
Nicola Paoletti
16 publications
Aad van Moorsel
16 publications
Majid Zamani
11 publications
Anne-Kathrin Schmuck
9 publications
Sofie Haesaert
9 publications

∙ 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...

0 Oliver Schön, et al. ∙

∙ 07/07/2023

Neural Abstraction-Based Controller Synthesis and Deployment

Abstraction-based techniques are an attractive approach for synthesizing...

0 Rupak Majumdar, et al. ∙

∙ 04/14/2023

Bayesian Approach to Temporal Logic Control of Uncertain Systems

This paper addresses the problem of data-driven computation of controlle...

0 Oliver Schön, et al. ∙

∙ 10/15/2022

Correct-by-Design Control of Parametric Stochastic Systems

This paper addresses the problem of computing controllers that are corre...

0 Oliver Schön, et al. ∙

∙ 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...

0 Tamajit Banerjee, et al. ∙

∙ 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...

0 Marco Lewis, et al. ∙

∙ 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 ...

0 Isaac Matthews, et al. ∙

∙ 01/19/2021

Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey

Stochastic hybrid systems have received significant attentions as a rele...

0 Abolfazl Lavaei, et al. ∙

∙ 01/04/2021

Symbolic Control for Stochastic Systems via Parity Games

We consider the problem of computing the maximal probability of satisfyi...

0 Rupak Majumdar, et al. ∙

∙ 06/09/2020

On Decidability of Time-bounded Reachability in CTMDPs

We consider the time-bounded reachability problem for continuous-time Ma...

0 Rupak Majumdar, et al. ∙

∙ 05/13/2020

Cyclic Bayesian Attack Graphs: A Systematic Computational Approach

Attack graphs are commonly used to analyse the security of medium-sized ...

0 Isaac Matthews, et al. ∙

∙ 05/08/2020

Data-Driven Verification under Signal Temporal Logic Constraints

We consider systems under uncertainty whose dynamics are partially unkno...

0 Ali Salamati, et al. ∙

∙ 05/04/2020

Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning

This paper studies data-driven techniques for satisfying temporal proper...

0 Milad Kazemi, et al. ∙

∙ 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...

0 Abolfazl Lavaei, et al. ∙

∙ 01/21/2019

Perception-in-the-Loop Adversarial Examples

We present a scalable, black box, perception-in-the-loop technique to fi...

6 Mahmoud Salamati, et al. ∙

∙ 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...

0 Fedor Shmarov, et al. ∙

∙ 12/20/2017

Temporal logic control of general Markov decision processes by approximate policy refinement

The formal verification and controller synthesis for Markov decision pro...

0 Sofie Haesaert, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world