Sadegh Soudjani
Newcastle University
H-index: 28
Europe-United Kingdom
Top articles of Sadegh Soudjani
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge" Awareness Inside'' | arXiv preprint arXiv:2402.09030 | Cosimo Della Santina Carlos Hernandez Corbato Burak Sisman Luis A Leiva Ioannis Arapakis | 2024/2/14 |
Temporal Logic Resilience for Dynamical Systems | arXiv preprint arXiv:2404.19223 | Adnane Saoud Pushpak Jagtap Sadegh Soudjani | 2024/4/30 |
Symbolic control for stochastic systems via finite parity games | Nonlinear Analysis: Hybrid Systems | Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck Sadegh Soudjani | 2024/2/1 |
Safe Reach Set Computation via Neural Barrier Certificates | arXiv preprint arXiv:2404.18813 | Alessandro Abate Sergiy Bogomolov Alec Edwards Kostiantyn Potomkin Sadegh Soudjani | 2024/4/29 |
Formal verification of unknown stochastic systems via non-parametric estimation | Zhi Zhang Chenyu Ma Saleh Soudijani Sadegh Soudjani | 2024/4/18 | |
Quantum Computing | Business & Information Systems Engineering | Michael Nofer Kevin Bauer Oliver Hinz Wil van der Aalst Christof Weinhardt | 2023/8 |
Assume-Guarantee Reinforcement Learning | Proceedings of the AAAI Conference on Artificial Intelligence | Milad Kazemi Mateo Perez Fabio Somenzi Sadegh Soudjani Ashutosh Trivedi | 2024/3/24 |
Data-driven verification and synthesis of stochastic systems via barrier certificates | Automatica | Ali Salamati Abolfazl Lavaei Sadegh Soudjani Majid Zamani | 2024/1/1 |
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings | arXiv preprint arXiv:2403.10497 | Oliver Schön Zhengang Zhong Sadegh Soudjani | 2024/3/15 |
Data-driven abstraction-based control synthesis | Nonlinear Analysis: Hybrid Systems | Milad Kazemi Rupak Majumdar Mahmoud Salamati Sadegh Soudjani Ben Wooding | 2024/5/1 |
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks | arXiv preprint arXiv:2309.05570 | Omid Akbarzadeh Sadegh Soudjani Abolfazl Lavaei | 2023/9/11 |
Formal verification of unknown discrete-and continuous-time systems: A data-driven approach | IEEE Transactions on Automatic Control | Ameneh Nejati Abolfazl Lavaei Pushpak Jagtap Sadegh Soudjani Majid Zamani | 2023/3/10 |
Temporal Logic Resilience for Cyber-Physical Systems | Adnane Saoud Pushpak Jagtap Sadegh Soudjani | 2023/12/13 | |
Generalized stochastic dynamic aggregative game for demand-side management in microgrids with shared battery | IEEE Control Systems Letters | Shahram Yadollahi Hamed Kebriaei Sadegh Soudjani | 2023/10/18 |
Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱ | Oliver Schön Birgit Van Huijgevoort Sofie Haesaert Sadegh Soudjani | 2023/5/9 | |
Neural Abstraction-Based Controller Synthesis and Deployment | ACM Transactions on Embedded Computing Systems | Rupak Majumdar Mahmoud Salamati Sadegh Soudjani | 2023/9/9 |
Fast symbolic algorithms for omega-regular games under strong transition fairness | TheoretiCS | Tamajit Banerjee Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck Sadegh Soudjani | 2023/2/24 |
Grid Frequency Control Capability of Energy Storage Systems: Modeling, New Control Approach, and Real-time Validation | Arman Oshnoei Soroush Oshnoei Kamran Jalilpoor Sadegh Soudjani Frede Blaabjerg | 2023/10/16 | |
Reinforcement Learning for Stochastic Max-Plus Linear Systems | Vignesh Subramanian Farzaneh Farhadi Sadegh Soudjani | 2023/12/13 | |
A Toolchain for Accelerated Symbolic Control | Rupak Majumdar Kaushik Mallik Mateusz Rychlicki Anne-Kathrin Schmuck Sadegh Soudjani | 2023/5/9 |