Items where Author is "Soudjani, Sadegh Esmaeil Zadeh"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article
Number of items: 15.

Conference or Workshop Item (A Paper)

Lavaei, Abolfazl and Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Zamani, Majid
(2017) Compositional abstractions of interconnected discrete-time stochastic control systems.
In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017.
Conference: CDC IEEE Conference on Decision and Control

Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak
(2017) Controller Synthesis for Reward Collecting Markov Processes in Continuous Space.
In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017.

Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Nagapetyan, Tigran
(2017) Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.
In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings.

Dimitrova, Rayna and Gavran, Ivan and Majumdar, Rupak and Prabhu, Vinayak S. and Soudjani, Sadegh Esmaeil Zadeh
(2017) The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
In: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany.
Conference: CONCUR International Conference on Concurrency Theory

Farahani, Samira S. and Majumdar, Rupak and Prabhu, Vinayak S. and Soudjani, Sadegh Esmaeil Zadeh
(2017) Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications.
In: 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017.

Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Abate, Alessandro
(2016) Safety Verification of Continuous-Space Pure Jump Markov Processes.
In: Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16).
Conference: TACAS Tools and Algorithms for Construction and Analysis of Systems

Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Abate, Alessandro
(2016) Safety Verification of Continuous-Space Pure Jump Markov Processes.
In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proc.
Conference: TACAS Tools and Algorithms for Construction and Analysis of Systems

Soudjani, Sadegh Esmaeil Zadeh and Abate, Alessandro and Majumdar, Rupak
(2015) Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.
In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015.

Article

Lavaei, Abolfazl and Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Zamani, Majid
(2017) Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems.
CoRR, abs/17.

Mallik, Kaushik and Soudjani, Sadegh Esmaeil Zadeh and Schmuck, Anne-Kathrin and Majumdar, Rupak
(2017) Compositional Construction of Finite State Abstractions for Stochastic Control Systems.
CoRR, abs/17.

Soudjani, Sadegh Esmaeil Zadeh and Abate, Alessandro and Majumdar, Rupak
(2017) Dynamic Bayesian networks for formal verification of structured stochastic processes.
Acta Inf., 54 (2). 217–242.

Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Nagapetyan, Tigran
(2017) Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.
CoRR, abs/17.

Dimitrova, Rayna and Gavran, Ivan and Majumdar, Rupak and Prabhu, Vinayak S. and Soudjani, Sadegh Esmaeil Zadeh
(2017) The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
CoRR, abs/17.

Farahani, Samira S. and Majumdar, Rupak and Prabhu, Vinayak S. and Soudjani, Sadegh Esmaeil Zadeh
(2017) Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances.
CoRR, abs/17.

Soudjani, Sadegh Esmaeil Zadeh and Abate, Alessandro and Majumdar, Rupak
(2015) Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.
CoRR, abs/15.

This list was generated on Wed Apr 24 23:18:50 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.