Остановите войну!
for scientists:
default search action
Sadegh Esmaeil Zadeh Soudjani
Publications
- 2022
- [j23]Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated verification and synthesis of stochastic hybrid systems: A survey. Autom. 146: 110617 (2022) - 2021
- [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 Thorpe, Vlad Turcuman, Paolo Zuliani:
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS 2021: 55-89 - [i37]Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey. CoRR abs/2101.07491 (2021) - 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 - 2019
- [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 - 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 - 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) - [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) - 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) - [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
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-04-21 16:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint