![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Sadegh Esmaeil Zadeh Soudjani
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j32]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-driven verification and synthesis of stochastic systems via barrier certificates. Autom. 159: 111323 (2024) - [c70]Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez:
Assume-Guarantee Reinforcement Learning. AAAI 2024: 21223-21231 - [c69]Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani:
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation. AISTATS 2024: 3277-3285 - [c68]Arash Bahari Kordabad, Maria Charitidou, Dimos V. Dimarogonas, Sadegh Soudjani:
Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks. ECC 2024: 3213-3219 - [i64]Cosimo Della Santina, Carlos Hernández Corbato, Burak Sisman, Luis A. Leiva, Ioannis Arapakis, Michalis Vakalellis, Jean Vanderdonckt, Luis Fernando D'Haro, Guido Manzi, Cristina Becchio, Aïda Elamrani, Mohsen Alirezaei, Ginevra Castellano, Dimos V. Dimarogonas, Arabinda Ghosh, Sofie Haesaert, Sadegh Soudjani, Sybert Stroeve, Paul F. M. J. Verschure, Davide Bacciu, Ophelia Deroy, Bahador Bahrami, Claudio Gallicchio, Sabine Hauert, Ricardo Sanz, Pablo Lanillos, Giovanni Iacca, Stephan Sigg, Manel Gasulla, Luc Steels, Carles Sierra:
Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside". CoRR abs/2402.09030 (2024) - [i63]Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani:
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation. CoRR abs/2403.05350 (2024) - [i62]Oliver Schön, Zhengang Zhong, Sadegh Soudjani:
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings. CoRR abs/2403.10497 (2024) - [i61]Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani:
Safe Reach Set Computation via Neural Barrier Certificates. CoRR abs/2404.18813 (2024) - [i60]Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani:
Temporal Logic Resilience for Dynamical Systems. CoRR abs/2404.19223 (2024) - [i59]Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei:
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness. CoRR abs/2405.01011 (2024) - [i58]Marco Lewis
, Paolo Zuliani, Sadegh Soudjani:
Automated Verification of Silq Quantum Programs using SMT Solvers. CoRR abs/2406.03119 (2024) - [i57]Andrew Wright, Marco Lewis
, Paolo Zuliani, Sadegh Soudjani:
T-Count Optimizing Genetic Algorithm for Quantum State Preparation. CoRR abs/2406.04004 (2024) - [i56]B. C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani, Sofie Haesaert:
Specification-guided temporal logic control for stochastic systems: a multi-layered approach. CoRR abs/2407.03896 (2024) - [i55]Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani:
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification. CoRR abs/2407.21029 (2024) - 2023
- [j31]Ameneh Nejati
, Abolfazl Lavaei
, Sadegh Soudjani
, Majid Zamani
:
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach. IEEE Control. Syst. Lett. 7: 223-228 (2023) - [j30]Abolfazl Lavaei
, Sadegh Soudjani
, Emilio Frazzoli
, Majid Zamani
:
Constructing MDP Abstractions Using Data With Formal Guarantees. IEEE Control. Syst. Lett. 7: 460-465 (2023) - [j29]Shahram Yadollahi
, Hamed Kebriaei
, Sadegh Soudjani
:
Generalized Stochastic Dynamic Aggregative Game for Demand-Side Management in Microgrids With Shared Battery. IEEE Control. Syst. Lett. 7: 3429-3434 (2023) - [j28]Ameneh Nejati
, Abolfazl Lavaei
, Pushpak Jagtap
, Sadegh Soudjani
, Majid Zamani
:
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Trans. Autom. Control. 68(5): 3011-3024 (2023) - [j27]Abolfazl Lavaei
, Sadegh Soudjani
, Emilio Frazzoli
:
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems. IEEE Trans. Autom. Control. 68(12): 7240-7253 (2023) - [j26]Rupak Majumdar
, Mahmoud Salamati
, Sadegh Soudjani
:
Neural Abstraction-Based Controller Synthesis and Deployment. ACM Trans. Embed. Comput. Syst. 22(5s): 141:1-141:25 (2023) - [j25]Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS 2 (2023) - [c67]Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani:
ARCH-COMP23 Category Report: Stochastic Models. ARCH 2023: 126-150 - [c66]Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki
, Anne-Kathrin Schmuck, Sadegh Soudjani:
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. CAV (3) 2023: 3-15 - [c65]Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani:
Temporal Logic Resilience for Cyber-Physical Systems. CDC 2023: 2066-2071 - [c64]Vignesh Subramanian, Farzaneh Farhadi, Sadegh Soudjani:
Reinforcement Learning for Stochastic Max-Plus Linear Systems. CDC 2023: 5631-5638 - [c63]Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems. CDC 2023: 7035-7042 - [c62]Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab, Sadegh Soudjani:
Robust Simulation Functions with Disturbance Refinement. ECC 2023: 1-6 - [c61]Birgit van Huijgevoort
, Oliver Schön
, Sadegh Soudjani
, Sofie Haesaert
:
SySCoRe: Synthesis via Stochastic Coupling Relations. HSCC 2023: 13:1-13:11 - [c60]Oliver Schön
, Birgit van Huijgevoort
, Sofie Haesaert
, Sadegh Soudjani
:
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱. HSCC 2023: 22:1-22:2 - [c59]Rupak Majumdar
, Kaushik Mallik
, Mateusz Rychlicki
, Anne-Kathrin Schmuck
, Sadegh Soudjani
:
Poster Abstract: A Toolchain for Accelerated Symbolic Control. HSCC 2023: 28:1-28:2 - [c58]Marco Lewis
, Paolo Zuliani
, Sadegh Soudjani
:
Verification of Quantum Systems Using Barrier Certificates. QEST 2023: 346-362 - [c57]Andrea Calvagna
, Arabinda Ghosh, Sadegh Soudjani:
Using Knowledge Awareness to Improve Safety of Autonomous Driving. SMC 2023: 2997-3002 - [c56]John F. Ingham, Yujiang Wang, Paolo Zuliani, Sadegh Soudjani:
Barrier Certificates for a Computational Model of Epileptic Seizures. SMC 2023: 4728-4733 - [i54]Birgit van Huijgevoort, Oliver Schön
, Sadegh Soudjani, Sofie Haesaert:
SySCoRe: Synthesis via Stochastic Coupling Relations. CoRR abs/2302.12294 (2023) - [i53]Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Bayesian Approach to Temporal Logic Control of Uncertain Systems. CoRR abs/2304.07428 (2023) - [i52]Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani:
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach. CoRR abs/2307.03467 (2023) - [i51]Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani:
Neural Abstraction-Based Controller Synthesis and Deployment. CoRR abs/2307.03783 (2023) - [i50]Marco Lewis, Paolo Zuliani, Sadegh Soudjani:
Verification of Quantum Systems using Barrier Certificates. CoRR abs/2307.07307 (2023) - [i49]Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems. CoRR abs/2309.01276 (2023) - [i48]Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei:
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks. CoRR abs/2309.05570 (2023) - [i47]Shahram Yadollahi, Hamed Kebriaei, Sadegh Soudjani:
Generalized Stochastic Dynamic Aggregative Game for Demand-Side Management in Microgrids with Shared Battery. CoRR abs/2310.02996 (2023) - [i46]Andrea Calvagna, Arabinda Ghosh, Sadegh Soudjani:
Using Knowledge Awareness to improve Safety of Autonomous Driving. CoRR abs/2310.16760 (2023) - [i45]Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez:
Assume-Guarantee Reinforcement Learning. CoRR abs/2312.09938 (2023) - 2022
- [j24]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems. Autom. 145: 110513 (2022) - [j23]Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated verification and synthesis of stochastic hybrid systems: A survey. Autom. 146: 110617 (2022) - [c55]Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli:
Safety Barrier Certificates for Stochastic Hybrid Systems. ACC 2022: 880-885 - [c54]Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön
, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen:
ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP 2022: 113-141 - [c53]Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez:
Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning. AAMAS 2022: 732-741 - [c52]Oliver Schön
, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Correct-by-Design Control of Parametric Stochastic Systems. CDC 2022: 5580-5587 - [c51]Sergiy Bogomolov, John S. Fitzgerald
, Sadegh Soudjani, Paulius Stankaitis:
Data-Driven Reachability Analysis of Digital Twin FMI Models. ISoLA (4) 2022: 139-158 - [c50]Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik
, Anne-Kathrin Schmuck
, Sadegh Soudjani
:
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. TACAS (2) 2022: 81-98 - [i44]Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. CoRR abs/2202.07480 (2022) - [i43]Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
:
Data-Driven Abstraction-Based Control Synthesis. CoRR abs/2206.08069 (2022) - [i42]Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani:
Constructing MDP Abstractions Using Data with Formal Guarantees. CoRR abs/2206.14402 (2022) - [i41]Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli:
Safety Barrier Certificates for Stochastic Hybrid Systems. CoRR abs/2208.03478 (2022) - [i40]Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR abs/2208.03485 (2022) - [i39]Oliver Schön
, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Correct-by-Design Control of Parametric Stochastic Systems. CoRR abs/2210.08269 (2022) - 2021
- [j22]Ali Salamati, Sadegh Soudjani, Majid Zamani:
Data-driven verification of stochastic linear systems with signal temporal logic constraints. Autom. 131: 109781 (2021) - [j21]Sofie Haesaert
, Petter Nilsson
, Sadegh Soudjani
:
Formal Multi-Objective Synthesis of Continuous-State MDPs. IEEE Control. Syst. Lett. 5(5): 1765-1770 (2021) - [j20]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Eur. J. Control 57: 82-94 (2021) - [j19]Ricardo M. Czekster
, Charles Morisset, John A. Clark, Sadegh Soudjani, Charalampos Patsios, Peter Davison:
Systematic review of features for co-simulating security incidents in Cyber-Physical Systems. Secur. Priv. 4(3) (2021) - [j18]Sofie Haesaert
, Sadegh Soudjani
:
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. IEEE Trans. Autom. Control. 66(6): 2496-2511 (2021) - [j17]Pushpak Jagtap
, Sadegh Soudjani
, Majid Zamani
:
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. IEEE Trans. Autom. Control. 66(7): 3097-3110 (2021) - [c49]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. ADHS 2021: 7-12 - [c48]Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. ADHS 2021: 127-132 - [c47]Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. ADHS 2021: 277-282 - [c46]Sofie Haesaert, Petter Nilsson, Sadegh Soudjani:
Formal Multi-Objective Synthesis of Continuous-State MDPs. ACC 2021: 3428-3433 - [c45]Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani:
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS 2021: 55-89 - [c44]Rupak Majumdar, Sadegh Soudjani:
The computability of LQR and LQG control. HSCC 2021: 5:1-5:7 - [c43]Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. HSCC 2021: 28:1-28:2 - [c42]Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian:
Symbolic reach-avoid control of multi-agent systems. ICCPS 2021: 209-220 - [c41]Julian D'Costa, Toghrul Karimov
, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell:
The Pseudo-Skolem Problem is Decidable. MFCS 2021: 34:1-34:21 - [c40]Isaac Matthews
, Sadegh Soudjani
, Aad van Moorsel
:
Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs. SciSec 2021: 171-186 - [i38]Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
Symbolic Control for Stochastic Systems via Parity Games. CoRR abs/2101.00834 (2021) - [i37]Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey. CoRR abs/2101.07491 (2021) - [i36]Isaac Matthews, Sadegh Soudjani, Aad van Moorsel:
Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs. CoRR abs/2103.10212 (2021) - [i35]Marco Lewis
, Sadegh Soudjani, Paolo Zuliani:
Formal Verification of Quantum Programs: Theory, Tools and Challenges. CoRR abs/2110.01320 (2021) - [i34]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-driven verification and synthesis of stochastic systems through barrier certificates. CoRR abs/2111.10330 (2021) - [i33]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates. CoRR abs/2112.12709 (2021) - 2020
- [j16]Fedor Shmarov, Sadegh Soudjani
, Nicola Paoletti
, Ezio Bartocci
, Shan Lin
, Scott A. Smolka, Paolo Zuliani
:
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 8: 180825-180843 (2020) - [j15]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional abstraction-based synthesis for networks of stochastic switched systems. Autom. 114: 108827 (2020) - [j14]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. IEEE Control. Syst. Lett. 4(4): 845-850 (2020) - [j13]Abolfazl Lavaei
, Sadegh Soudjani
, Majid Zamani
:
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. IEEE Trans. Autom. Control. 65(12): 5280-5295 (2020) - [j12]Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar:
A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs. ACM Trans. Model. Perform. Evaluation Comput. Syst. 5(1): 2:1-2:29 (2020) - [c39]Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding
, Majid Zamani, Paolo Zuliani:
ARCH-COMP20 Category Report: Stochastic Models. ARCH 2020: 76-106 - [c38]Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CAV (2) 2020: 461-474 - [c37]Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani:
Symbolic controller synthesis for Büchi specifications on stochastic systems. HSCC 2020: 14:1-14:11 - [c36]Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. HSCC 2020: 31:1-31:2 - [c35]Rupak Majumdar
, Mahmoud Salamati
, Sadegh Soudjani
:
On Decidability of Time-Bounded Reachability in CTMDPs. ICALP 2020: 133:1-133:19 - [c34]Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS 2020: 98-107 - [c33]Milad Kazemi, Sadegh Soudjani:
Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. IFM 2020: 3-21 - [c32]Isaac Matthews
, John C. Mace, Sadegh Soudjani, Aad van Moorsel:
Cyclic Bayesian Attack Graphs: A Systematic Computational Approach. TrustCom 2020: 129-136 - [i32]Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. CoRR abs/2003.00712 (2020) - [i31]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. CoRR abs/2005.01287 (2020) - [i30]Milad Kazemi, Sadegh Soudjani:
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning. CoRR abs/2005.01319 (2020) - [i29]Ben Wooding
, Vahid Vahidinasab, Sadegh Soudjani:
Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles. CoRR abs/2005.04053 (2020) - [i28]Ali Salamati, Sadegh Soudjani, Majid Zamani:
Data-Driven Verification under Signal Temporal Logic Constraints. CoRR abs/2005.05040 (2020) - [i27]Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CoRR abs/2005.06191 (2020) - [i26]Isaac Matthews
, John C. Mace, Sadegh Soudjani, Aad van Moorsel:
Cyclic Bayesian Attack Graphs: A Systematic Computational Approach. CoRR abs/2005.06350 (2020) - [i25]Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani:
On Decidability of Time-bounded Reachability in CTMDPs. CoRR abs/2006.05498 (2020) - [i24]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems. CoRR abs/2012.07296 (2020)
2010 – 2019
- 2019
- [j11]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional construction of infinite abstractions for networks of stochastic control systems. Autom. 107: 125-137 (2019) - [j10]Kaushik Mallik
, Anne-Kathrin Schmuck
, Sadegh Soudjani
, Rupak Majumdar
:
Compositional Synthesis of Finite-State Abstractions. IEEE Trans. Autom. Control. 64(6): 2629-2636 (2019) - [j9]Samira S. Farahani
, Rupak Majumdar
, Vinayak S. Prabhu
, Sadegh Soudjani
:
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances. IEEE Trans. Autom. Control. 64(8): 3324-3331 (2019) - [j8]Mahmoud Salamati, Rocco Salvia, Eva Darulova
, Sadegh Soudjani, Rupak Majumdar:
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control. ACM Trans. Embed. Comput. Syst. 18(5s): 100:1-100:19 (2019) - [c31]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. NSV@CAV 2019: 101-109 - [c30]Alessandro Abate, Henk A. P. Blom
, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle
, Ernst Moritz Hahn
, Sofie Haesaert, Hao Ma, Meeko Oishi
, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod:
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek 2019: 62-102 - [c29]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions. ECC 2019: 2802-2807 - [c28]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems. ECC 2019: 3212-3217 - [c27]Sofie Haesaert, Sadegh Soudjani:
Achievements in correct-by-design control for stochastic systems. SNR 2019: 12-15 - [e1]Sriram Sankaranarayanan, Sadegh Soudjani:
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019. ACM 2019, ISBN 978-1-4503-6697-7 [contents] - [i23]Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani:
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. CoRR abs/1901.03315 (2019) - [i22]Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar:
Perception-in-the-Loop Adversarial Examples. CoRR abs/1901.06834 (2019) - [i21]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach. CoRR abs/1902.01223 (2019) - [i20]Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. CoRR abs/1905.04585 (2019) - [i19]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations. CoRR abs/1906.02930 (2019) - [i18]Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar:
Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs. CoRR abs/1909.06112 (2019) - [i17]Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani:
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems. CoRR abs/1910.12137 (2019) - [i16]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems. CoRR abs/1912.11481 (2019) - 2018
- [c26]Alessandro Abate, Henk A. P. Blom
, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi
, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile
, Abraham P. Vinod:
ARCH-COMP18 Category Report: Stochastic Modelling. ARCH@ADHS 2018: 71-103 - [c25]Sofie Haesaert, Sadegh Soudjani, Alessandro Abate:
Temporal logic control of general Markov decision processes by approximate policy refinement. ADHS 2018: 73-78 - [c24]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach. ADHS 2018: 265-270 - [c23]Sadegh Soudjani, Rupak Majumdar:
Concentration of Measure for Chance-Constrained Optimization. ADHS 2018: 277-282 - [c22]Pushpak Jagtap
, Sadegh Soudjani, Majid Zamani:
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. ATVA 2018: 177-193 - [c21]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. HSCC 2018: 21-30 - [c20]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. HSCC 2018: 273-274 - [c19]Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar:
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. QEST 2018: 389-406 - [i15]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani:
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems. CoRR abs/1801.10505 (2018) - [i14]Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. CoRR abs/1807.00064 (2018) - [i13]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. CoRR abs/1808.00893 (2018) - [i12]Sofie Haesaert, Sadegh Soudjani:
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. CoRR abs/1811.11445 (2018) - 2017
- [j7]Sadegh Esmaeil Zadeh Soudjani
, Alessandro Abate, Rupak Majumdar:
Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Informatica 54(2): 217-242 (2017) - [j6]Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani
, Alessandro Abate:
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. SIAM J. Control. Optim. 55(4): 2333-2367 (2017) - [c18]Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
:
Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications. ACC 2017: 1740-1746 - [c17]Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar:
Compositional construction of finite state abstractions for stochastic control systems. CDC 2017: 550-557 - [c16]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani:
Compositional abstractions of interconnected discrete-time stochastic control systems. CDC 2017: 3551-3556 - [c15]Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
:
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. CONCUR 2017: 13:1-13:17 - [c14]Sadegh Esmaeil Zadeh Soudjani
, Rupak Majumdar:
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. HSCC 2017: 45-54 - [c13]Sadegh Esmaeil Zadeh Soudjani
, Rupak Majumdar, Tigran Nagapetyan:
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. QEST 2017: 351-367 - [i11]Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani:
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. CoRR abs/1704.05303 (2017) - [i10]Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani:
Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. CoRR abs/1705.02152 (2017) - [i9]Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan:
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. CoRR abs/1706.08270 (2017) - [i8]Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar:
Compositional Construction of Finite State Abstractions for Stochastic Control Systems. CoRR abs/1709.09546 (2017) - [i7]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani:
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. CoRR abs/1709.10312 (2017) - [i6]Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Temporal logic control of general Markov decision processes by approximate policy refinement. CoRR abs/1712.07622 (2017) - [i5]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani:
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. CoRR abs/1712.07793 (2017) - 2016
- [j5]Sadegh Esmaeil Zadeh Soudjani
, Dieky Adzkiya
, Alessandro Abate:
Formal Verification of Stochastic Max-Plus-Linear Systems. IEEE Trans. Autom. Control. 61(10): 2861-2876 (2016) - [c12]Vahab Rostampour, Dieky Adzkiya
, Sadegh Esmaeil Zadeh Soudjani
, Bart De Schutter
, Tamás Keviczky:
Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems. SMC 2016: 3581-3588 - [c11]Shashank Pathak, Sadegh Esmaeil Zadeh Soudjani
, Vadim Indelman, Alessandro Abate:
Formal and Data Association Aware Robust Belief Space Planning. STAIRS 2016: 87-98 - [c10]Sadegh Esmaeil Zadeh Soudjani
, Rupak Majumdar, Alessandro Abate:
Safety Verification of Continuous-Space Pure Jump Markov Processes. TACAS 2016: 147-163 - [i4]Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Verification of general Markov decision processes by approximate similarity relations and policy refinement. CoRR abs/1605.09557 (2016) - 2015
- [j4]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions. Log. Methods Comput. Sci. 11(3) (2015) - [j3]Sadegh Esmaeil Zadeh Soudjani
, Alessandro Abate:
Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions. IEEE Trans. Control. Syst. Technol. 23(3): 975-990 (2015) - [c9]Sadegh Esmaeil Zadeh Soudjani
, Alessandro Abate, Rupak Majumdar:
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. CONCUR 2015: 169-183 - [c8]Sadegh Esmaeil Zadeh Soudjani
, Caspar Gevaerts, Alessandro Abate:
FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes. TACAS 2015: 272-286 - [i3]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar:
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. CoRR abs/1507.00509 (2015) - 2014
- [j2]Sadegh Esmaeil Zadeh Soudjani
, Alessandro Abate:
Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes. IEEE Trans. Autom. Control. 59(2): 528-534 (2014) - [c7]Sadegh Esmaeil Zadeh Soudjani
, Sebastian Gerwinn, Christian Ellen, Martin Fränzle
, Alessandro Abate:
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. QEST 2014: 57-73 - [c6]Dieky Adzkiya
, Sadegh Esmaeil Zadeh Soudjani
, Alessandro Abate:
Finite Abstractions of Stochastic Max-Plus-Linear Systems. QEST 2014: 74-89 - [c5]Sadegh Esmaeil Zadeh Soudjani
, Alessandro Abate:
Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance. TACAS 2014: 547-561 - [i2]Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate:
FAUST2: Formal Abstractions of Uncountable-STate STochastic processes. CoRR abs/1403.3286 (2014) - 2013
- [j1]Sadegh Esmaeil Zadeh Soudjani
, Alessandro Abate:
Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes. SIAM J. Appl. Dyn. Syst. 12(2): 921-956 (2013) - [c4]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Aggregation of thermostatically controlled loads by formal abstractions. ECC 2013: 4232-4237 - [i1]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions. CoRR abs/1307.6716 (2013) - 2012
- [c3]Sadegh Esmaeil Zadeh Soudjani
, Alessandro Abate:
Higher-Order Approximations for Verification of Stochastic Hybrid Systems. ATVA 2012: 416-434 - [c2]Sadegh Esmaeil Zadeh Soudjani
, Alessandro Abate:
Probabilistic invariance of mixed deterministic-stochastic dynamical systems. HSCC 2012: 207-216 - 2011
- [c1]Sadegh Esmaeil Zadeh Soudjani
, Alessandro Abate:
Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems. QEST 2011: 59-68
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 19:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint