default search action
Sadegh Esmaeil Zadeh Soudjani
Sadegh Soudjani
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
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) - [c73]Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez:
Assume-Guarantee Reinforcement Learning. AAAI 2024: 21223-21231 - [c72]Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani:
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation. AISTATS 2024: 3277-3285 - [c71]Oliver Schön, Zhengang Zhong, Sadegh Soudjani:
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings. ACC 2024: 3417-3423 - [c70]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 - [c69]Andrew Wright, Marco Lewis, Paolo Zuliani, Sadegh Soudjani:
T-Count Optimizing Genetic Algorithm for Quantum State Preparation. QSW 2024: 58-68 - [c68]Marco Lewis, Paolo Zuliani, Sadegh Soudjani:
Automated Verification of Silq Quantum Programs using SMT Solvers. QSW 2024: 125-134 - [e2]Jane Hillston, Sadegh Soudjani, Masaki Waga:
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings. Lecture Notes in Computer Science 14996, Springer 2024, ISBN 978-3-031-68415-9 [contents] - [i69]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) - [i68]Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani:
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation. CoRR abs/2403.05350 (2024) - [i67]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) - [i66]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) - [i65]Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani:
Temporal Logic Resilience for Dynamical Systems. CoRR abs/2404.19223 (2024) - [i64]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) - [i63]Marco Lewis, Paolo Zuliani, Sadegh Soudjani:
Automated Verification of Silq Quantum Programs using SMT Solvers. CoRR abs/2406.03119 (2024) - [i62]Andrew Wright, Marco Lewis, Paolo Zuliani, Sadegh Soudjani:
T-Count Optimizing Genetic Algorithm for Quantum State Preparation. CoRR abs/2406.04004 (2024) - [i61]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) - [i60]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) - [i59]Arash Bahari Kordabad, Andrea Da Col, Arabinda Ghosh, Sybert Stroeve, Sadegh Soudjani:
Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance. CoRR abs/2408.06999 (2024) - [i58]Marco Lewis, Sadegh Soudjani, Paolo Zuliani:
Verification of Quantum Circuits through Discrete-Time Barrier Certificates. CoRR abs/2408.07591 (2024) - [i57]Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas, Sadegh Soudjani:
Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications. CoRR abs/2409.03855 (2024) - [i56]Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani, Paolo Zuliani:
High-level quantum algorithm programming using Silq. CoRR abs/2409.10231 (2024) - [i55]Ernesto Casablanca, Zengjie Zhang, Gregorio Marchesini, Sofie Haesaert, Dimos V. Dimarogonas, Sadegh Soudjani:
SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness. CoRR abs/2409.14833 (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]