We are hiring! Would you like to contribute to the development of the national research data infrastructure NFDI for the computer science community? Schloss Dagstuhl seeks to hire a Research Data Expert (f/m/d). For more information, see our job offer.

We recently started indexing data publications as "first-class citizens" in dblp. Read about our changes here. Please send us your feedback and comments in our brief survey on how we should handle the BibTeX export for data publications. Thank you very much!

Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Sadegh Esmaeil Zadeh Soudjani

Sadegh Soudjani

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/NejatiLSZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/NejatiLSZ23
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)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/LavaeiSFZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/LavaeiSFZ23
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani:
Constructing MDP Abstractions Using Data With Formal Guarantees. IEEE Control. Syst. Lett. 7: 460-465 (2023)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/NejatiLJSZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/NejatiLJSZ23
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)
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HuijgevoortSSH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HuijgevoortSSH23
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert:
SySCoRe: Synthesis via Stochastic Coupling Relations. HSCC 2023: 13:1-13:11
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SchonHHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SchonHHS23
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
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MajumdarMRSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MajumdarMRSS23
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
[i46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-12294
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-12294
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert:
SySCoRe: Synthesis via Stochastic Coupling Relations. CoRR abs/2302.12294 (2023)
[i45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-07428
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-07428
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Bayesian Approach to Temporal Logic Control of Uncertain Systems. CoRR abs/2304.07428 (2023)
2022
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/NejatiSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/NejatiSZ22
Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems. Autom. 145: 110513 (2022)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/LavaeiSAZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/LavaeiSAZ22
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated verification and synthesis of stochastic hybrid systems: A survey. Autom. 146: 110617 (2022)
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/LavaeiSF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/LavaeiSF22
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli:
Safety Barrier Certificates for Stochastic Hybrid Systems. ACC 2022: 880-885
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/KazemiPSS0V22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/KazemiPSS0V22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SchonHHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SchonHHS22
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Correct-by-Design Control of Parametric Stochastic Systems. CDC 2022: 5580-5587
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BogomolovFSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BogomolovFSS22
Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis:
Data-Driven Reachability Analysis of Digital Twin FMI Models. ISoLA (4) 2022: 139-158
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BanerjeeMMSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BanerjeeMMSS22
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-07480
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-07480
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-08069
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-08069
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding:
Data-Driven Abstraction-Based Control Synthesis. CoRR abs/2206.08069 (2022)
[i42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-14402
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-14402
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani:
Constructing MDP Abstractions Using Data with Formal Guarantees. CoRR abs/2206.14402 (2022)
[i41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-03478
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-03478
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli:
Safety Barrier Certificates for Stochastic Hybrid Systems. CoRR abs/2208.03478 (2022)
[i40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-03485
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-03485
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-08269
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-08269
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]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/SalamatiSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/SalamatiSZ21
Ali Salamati, Sadegh Soudjani, Majid Zamani:
Data-driven verification of stochastic linear systems with signal temporal logic constraints. Autom. 131: 109781 (2021)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/HaesaertNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/HaesaertNS21
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani:
Formal Multi-Objective Synthesis of Continuous-State MDPs. IEEE Control. Syst. Lett. 5(5): 1765-1770 (2021)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ejcon/NejatiSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejcon/NejatiSZ21
Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Eur. J. Control 57: 82-94 (2021)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sap/CzeksterMCSPD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sap/CzeksterMCSPD21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/HaesaertS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/HaesaertS21
Sofie Haesaert, Sadegh Soudjani:
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. IEEE Trans. Autom. Control. 66(6): 2496-2511 (2021)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/JagtapSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/JagtapSZ21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/SalamatiLSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/SalamatiLSZ21
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. ADHS 2021: 7-12
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/MajumdarMSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/MajumdarMSS21
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. ADHS 2021: 127-132
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/NejatiLSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/NejatiLSZ21
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. ADHS 2021: 277-282
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/HaesaertNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/HaesaertNS21
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani:
Formal Multi-Objective Synthesis of Continuous-State MDPs. ACC 2021: 3428-3433
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/AbateBBCCDHHKLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/AbateBBCCDHHKLM21
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 Thorpe, Vlad Turcuman, Paolo Zuliani:
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS 2021: 55-89
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MajumdarS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MajumdarS21
Rupak Majumdar, Sadegh Soudjani:
The computability of LQR and LQG control. HSCC 2021: 5:1-5:7
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LavaeiNSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LavaeiNSZ21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/MajumdarMSSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/MajumdarMSSZ21
Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian:
Symbolic reach-avoid control of multi-agent systems. ICCPS 2021: 209-220
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/mfcs/DCostaKMOSS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/DCostaKMOSS021
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]
- view
  authority control:
- export record
  dblp key:
  - conf/scisec/MatthewsSM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scisec/MatthewsSM21
Isaac Matthews, Sadegh Soudjani, Aad van Moorsel:
Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs. SciSec 2021: 171-186
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-00834
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-00834
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
Symbolic Control for Stochastic Systems via Parity Games. CoRR abs/2101.00834 (2021)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07491
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07491
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey. CoRR abs/2101.07491 (2021)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-10212
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-10212
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-01320
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-01320
Marco Lewis, Sadegh Soudjani, Paolo Zuliani:
Formal Verification of Quantum Programs: Theory, Tools and Challenges. CoRR abs/2110.01320 (2021)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-10330
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-10330
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-12709
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-12709
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/ShmarovSPBLSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ShmarovSPBLSZ20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/LavaeiSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/LavaeiSZ20
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional abstraction-based synthesis for networks of stochastic switched systems. Autom. 114: 108827 (2020)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/NejatiSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/NejatiSZ20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/LavaeiSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/LavaeiSZ20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tompecs/SalamatiSM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tompecs/SalamatiSM20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/AbateBCDHKLPRSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/AbateBCDHKLPRSS20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LavaeiKSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LavaeiKSZ20
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CAV (2) 2020: 461-474
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MajumdarMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MajumdarMS20
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani:
Symbolic controller synthesis for Büchi specifications on stochastic systems. HSCC 2020: 14:1-14:11
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LavaeiKSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LavaeiKSZ20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/MajumdarSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/MajumdarSS20
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani:
On Decidability of Time-Bounded Reachability in CTMDPs. ICALP 2020: 133:1-133:19
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/LavaeiSS0Z20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/LavaeiSS0Z20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/KazemiS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/KazemiS20
Milad Kazemi, Sadegh Soudjani:
Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. IFM 2020: 3-21
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/MatthewsMSM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/MatthewsMSM20
Isaac Matthews, John C. Mace, Sadegh Soudjani, Aad van Moorsel:
Cyclic Bayesian Attack Graphs: A Systematic Computational Approach. TrustCom 2020: 129-136
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-00712
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-00712
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-01287
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-01287
Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. CoRR abs/2005.01287 (2020)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-01319
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-01319
Milad Kazemi, Sadegh Soudjani:
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning. CoRR abs/2005.01319 (2020)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-04053
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-04053
Ben Wooding, Vahid Vahidinasab, Sadegh Soudjani:
Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles. CoRR abs/2005.04053 (2020)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-05040
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-05040
Ali Salamati, Sadegh Soudjani, Majid Zamani:
Data-Driven Verification under Signal Temporal Logic Constraints. CoRR abs/2005.05040 (2020)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-06191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-06191
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CoRR abs/2005.06191 (2020)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-06350
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-06350
Isaac Matthews, John C. Mace, Sadegh Soudjani, Aad van Moorsel:
Cyclic Bayesian Attack Graphs: A Systematic Computational Approach. CoRR abs/2005.06350 (2020)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-05498
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-05498
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani:
On Decidability of Time-bounded Reachability in CTMDPs. CoRR abs/2006.05498 (2020)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-07296
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-07296
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/LavaeiSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/LavaeiSZ19
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional construction of infinite abstractions for networks of stochastic control systems. Autom. 107: 125-137 (2019)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/MallikSSM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/MallikSSM19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/FarahaniMPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/FarahaniMPS19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/SalamatiSDSM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/SalamatiSDSM19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LavaeiSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LavaeiSZ19
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. NSV@CAV 2019: 101-109
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/AbateBCDFHHMOPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/AbateBCDFHHMOPR19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/LavaeiSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/LavaeiSZ19
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions. ECC 2019: 2802-2807
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/NejatiSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/NejatiSZ19
Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems. ECC 2019: 3212-3217
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/snr/HaesaertS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/HaesaertS19
Sofie Haesaert, Sadegh Soudjani:
Achievements in correct-by-design control for stochastic systems. SNR 2019: 12-15
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/snr/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/2019
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-03315
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-03315
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-06834
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-06834
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar:
Perception-in-the-Loop Adversarial Examples. CoRR abs/1901.06834 (2019)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-01223
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-01223
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach. CoRR abs/1902.01223 (2019)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-04585
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-04585
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. CoRR abs/1905.04585 (2019)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-02930
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-02930
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations. CoRR abs/1906.02930 (2019)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-06112
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-06112
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar:
Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs. CoRR abs/1909.06112 (2019)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-12137
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-12137
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani:
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems. CoRR abs/1910.12137 (2019)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-11481
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-11481
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems. CoRR abs/1912.11481 (2019)
2018
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/adhs/AbateBCHHLOSSVV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/AbateBCHHLOSSVV18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/HaesaertSA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/HaesaertSA18
Sofie Haesaert, Sadegh Soudjani, Alessandro Abate:
Temporal logic control of general Markov decision processes by approximate policy refinement. ADHS 2018: 73-78
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/LavaeiSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/LavaeiSZ18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/SoudjaniM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/SoudjaniM18
Sadegh Soudjani, Rupak Majumdar:
Concentration of Measure for Chance-Constrained Optimization. ADHS 2018: 277-282
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JagtapSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JagtapSZ18
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. ATVA 2018: 177-193
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LavaeiSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LavaeiSZ18
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. HSCC 2018: 21-30
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LavaeiSZ18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LavaeiSZ18a
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. HSCC 2018: 273-274
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/SalamatiSM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/SalamatiSM18
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar:
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. QEST 2018: 389-406
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-10505
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-10505
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-00064
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-00064
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. CoRR abs/1807.00064 (2018)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-00893
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-00893
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. CoRR abs/1808.00893 (2018)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-11445
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-11445
Sofie Haesaert, Sadegh Soudjani:
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. CoRR abs/1811.11445 (2018)
2017
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/acta/SoudjaniAM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/SoudjaniAM17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/siamco/HaesaertSA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamco/HaesaertSA17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/FarahaniMPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/FarahaniMPS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/MallikSSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/MallikSSM17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/LavaeiSMZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/LavaeiSMZ17
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani:
Compositional abstractions of interconnected discrete-time stochastic control systems. CDC 2017: 3551-3556
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/DimitrovaGMPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DimitrovaGMPS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SoudjaniM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SoudjaniM17
Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar:
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. HSCC 2017: 45-54
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/SoudjaniMN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/SoudjaniMN17
Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan:
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. QEST 2017: 351-367
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DimitrovaGMPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DimitrovaGMPS17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FarahaniMPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FarahaniMPS17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SoudjaniMN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SoudjaniMN17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-09546
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-09546
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-10312
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-10312
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1712-07622
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-07622
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1712-07793
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-07793
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/SoudjaniAA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/SoudjaniAA16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/RostampourASSK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/RostampourASSK16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/stairs/PathakSIA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stairs/PathakSIA16
Shashank Pathak, Sadegh Esmaeil Zadeh Soudjani, Vadim Indelman, Alessandro Abate:
Formal and Data Association Aware Robust Belief Space Planning. STAIRS 2016: 87-98
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/SoudjaniMA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SoudjaniMA16
Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate:
Safety Verification of Continuous-Space Pure Jump Markov Processes. TACAS 2016: 147-163
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HaesaertSA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HaesaertSA16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SoudjaniA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SoudjaniA15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcst/SoudjaniA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcst/SoudjaniA15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/SoudjaniAM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/SoudjaniAM15
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar:
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. CONCUR 2015: 169-183
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/SoudjaniGA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SoudjaniGA15
Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate:
FAUST ² : Formal Abstractions of Uncountable-STate STochastic Processes. TACAS 2015: 272-286
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SoudjaniAM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SoudjaniAM15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/SoudjaniA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/SoudjaniA14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/SoudjaniGEFA14
- ask others