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
Number of items: 15.

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.

Conference or Workshop Item

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.
Conference: None | Not Set

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.
Conference: None | Not Set

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.
Conference: None | Not Set

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.

This list was generated on Mon Apr 22 00:04:04 2019 CEST.